equal
deleted
inserted
replaced
65 #ML_SYSTEM=alice |
65 #ML_SYSTEM=alice |
66 #ML_HOME="/usr/local/alice/bin" |
66 #ML_HOME="/usr/local/alice/bin" |
67 #ML_OPTIONS="" |
67 #ML_OPTIONS="" |
68 #ML_PLATFORM="" |
68 #ML_PLATFORM="" |
69 |
69 |
70 # Poplog/PML version 15.6/2.1 (experimental!) |
|
71 #ML_SYSTEM=poplogml |
|
72 #ML_HOME="/usr/local/poplog/current-poplog/bin" |
|
73 #ML_OPTIONS="-noinit" |
|
74 #ML_SUFFIX=".psv" |
|
75 #ML_PLATFORM="" |
|
76 |
|
77 |
70 |
78 ### |
71 ### |
79 ### Interactive sessions (cf. isatool tty) |
72 ### Interactive sessions (cf. isatool tty) |
80 ### |
73 ### |
81 |
74 |