--- a/ProgTutorial/antiquote_setup.ML	Mon May 24 20:02:11 2010 +0100
+++ b/ProgTutorial/antiquote_setup.ML	Thu May 27 10:39:07 2010 +0200
@@ -41,8 +41,8 @@
    output (split_lines txt))
 
 val parser_ml = Scan.lift (Args.name --
-  (Scan.optional (Args.$$$ "for" |-- OuterParse.!!! (Scan.repeat1 Args.name)) [] --
-   Scan.option (Args.$$$ "in"  |-- OuterParse.!!! Args.name))) 
+  (Scan.optional (Args.$$$ "for" |-- Parse.!!! (Scan.repeat1 Args.name)) [] --
+   Scan.option (Args.$$$ "in"  |-- Parse.!!! Args.name))) 
 
 (* checks and prints a single ML-item and produces an index entry *)
 fun output_ml_ind {context = ctxt, ...} (txt, stru) =
@@ -53,7 +53,7 @@
    | (SOME st, _, _) => output_indexed {main = Code txt, minor = Struct st} (split_lines txt))
 
 val parser_ml_ind = Scan.lift (Args.name --
-  Scan.option (Args.$$$ "in"  |-- OuterParse.!!! Args.name))
+  Scan.option (Args.$$$ "in"  |-- Parse.!!! Args.name))
 
 (* checks and prints structures *)
 fun gen_output_struct outfn {context = ctxt, ...} txt =