equal
deleted
inserted
replaced
41 #ML_SYSTEM=mosml |
41 #ML_SYSTEM=mosml |
42 #ML_HOME="$ISABELLE_HOME/contrib/mosml/bin" |
42 #ML_HOME="$ISABELLE_HOME/contrib/mosml/bin" |
43 #ML_PLATFORM="" |
43 #ML_PLATFORM="" |
44 #ML_OPTIONS="" |
44 #ML_OPTIONS="" |
45 |
45 |
|
46 # Poplog/PML version 15.6/2.1 (experimental!) |
|
47 #ML_SYSTEM=poplogml |
|
48 #ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin" |
|
49 #ML_PLATFORM="" |
|
50 #ML_OPTIONS="-noinit" |
|
51 |
|
52 |
46 |
53 |
47 ### |
54 ### |
48 ### Compilation options (cf. isatool usedir) |
55 ### Compilation options (cf. isatool usedir) |
49 ### |
56 ### |
50 |
57 |