equal
deleted
inserted
replaced
52 "~~~~~ fun xxx , args:"; val () = (); |
52 "~~~~~ fun xxx , args:"; val () = (); |
53 "~~~~~ and xxx , args:"; val () = (); |
53 "~~~~~ and xxx , args:"; val () = (); |
54 "~~~~~ from xxx to yyy return val:"; val () = (); |
54 "~~~~~ from xxx to yyy return val:"; val () = (); |
55 (*if*) (*then*); (*else*); (*case*) (*of*); (*return value*); |
55 (*if*) (*then*); (*else*); (*case*) (*of*); (*return value*); |
56 "xx" |
56 "xx" |
57 ^ "xxx" (*+*) |
57 ^ "xxx" (*+*) (*isa*) (*REP*) |
58 \<close> |
58 \<close> |
59 section \<open>Run the tests\<close> |
59 section \<open>Run the tests\<close> |
60 text \<open> |
60 text \<open> |
61 * say "OK" to the popup asking for theories to be loaded |
61 * say "OK" to the popup asking for theories to be loaded |
62 * watch the <Theories> window for errors in the "imports" below |
62 * watch the <Theories> window for errors in the "imports" below |
210 ML_file "Interpret/execute.sml" |
210 ML_file "Interpret/execute.sml" |
211 ML_file "Interpret/rewtools.sml" |
211 ML_file "Interpret/rewtools.sml" |
212 ML_file "Interpret/script.sml" |
212 ML_file "Interpret/script.sml" |
213 ML_file "Interpret/inform.sml" |
213 ML_file "Interpret/inform.sml" |
214 ML_file "Interpret/lucas-interpreter.sml" |
214 ML_file "Interpret/lucas-interpreter.sml" |
215 |
|
216 ML_file "MathEngine/solve.sml" |
215 ML_file "MathEngine/solve.sml" |
217 ML_file "MathEngine/mathengine-stateless.sml" (*!part. WN130804: +check Interpret/me.sml*) |
216 ML_file "MathEngine/mathengine-stateless.sml" (*!part. WN130804: +check Interpret/me.sml*) |
218 ML_file "MathEngine/messages.sml" |
217 ML_file "MathEngine/messages.sml" |
219 ML_file "MathEngine/states.sml" |
218 ML_file "MathEngine/states.sml" |
220 |
219 |