equal
deleted
inserted
replaced
14 "~~/src/Tools/Code/code_preproc.ML" |
14 "~~/src/Tools/Code/code_preproc.ML" |
15 "~~/src/Tools/Code/code_thingol.ML" |
15 "~~/src/Tools/Code/code_thingol.ML" |
16 "~~/src/Tools/Code/code_printer.ML" |
16 "~~/src/Tools/Code/code_printer.ML" |
17 "~~/src/Tools/Code/code_target.ML" |
17 "~~/src/Tools/Code/code_target.ML" |
18 "~~/src/Tools/Code/code_ml.ML" |
18 "~~/src/Tools/Code/code_ml.ML" |
|
19 "~~/src/Tools/Code/code_eval.ML" |
19 "~~/src/Tools/Code/code_haskell.ML" |
20 "~~/src/Tools/Code/code_haskell.ML" |
20 "~~/src/Tools/nbe.ML" |
21 "~~/src/Tools/nbe.ML" |
21 begin |
22 begin |
22 |
23 |
23 setup {* |
24 setup {* |
24 Code_Preproc.setup |
25 Code_Preproc.setup |
25 #> Code_ML.setup |
26 #> Code_ML.setup |
|
27 #> Code_Eval.setup |
26 #> Code_Haskell.setup |
28 #> Code_Haskell.setup |
27 #> Nbe.setup |
29 #> Nbe.setup |
28 *} |
30 *} |
29 |
31 |
30 end |
32 end |