Changeset 4598 for trunk/manuals

Timestamp:

11/20/08 17:49:29 (7 weeks ago)

Author:

pmoura

Message:

Updated the compilation of the if/1 and elif/1 directives in order to apply any existing goal expansion hook to their arguments.

Corrected a bug that prevented goal expansion of source file initialization goals (expressed using the initialization/1 directive).

Location:

trunk/manuals/refman/directives

Files:

• elif1.html (modified) (1 diff)
• if1.html (modified) (1 diff)

trunk/manuals/refman/directives/elif1.html

@@ -26 +26 @@
 <pre>elif1(Goal)</pre>
 <p>
-Supports embedded conditionals when performing conditional compilation. The code following the directive is compiled if <code>Goal</code> is true. The goal is automatically term expanded.
+Supports embedded conditionals when performing conditional compilation. The code following the directive is compiled if <code>Goal</code> is true. The goal is subjected to goal expansion before execution.
 </p>
 

trunk/manuals/refman/directives/if1.html

@@ -26 +26 @@
 <pre>if(Goal)</pre>
 <p>
-Starts conditional compilation. The code following the directive is compiled if <code>Goal</code> is true. The goal is automatically term expanded.
+Starts conditional compilation. The code following the directive is compiled if <code>Goal</code> is true. The goal is subjected to goal expansion before execution.
 </p>