| Wed, 21 Apr 1999 18:50:35 +0200 | wenzelm | smlnj-110 setup made default; | changeset | files |
| Wed, 21 Apr 1999 18:46:58 +0200 | wenzelm | /usr/share/smlnj/bin; | changeset | files |
| Wed, 21 Apr 1999 17:11:34 +0200 | wenzelm | Isamode 2.6 requires patch; | changeset | files |
| Wed, 21 Apr 1999 16:30:35 +0200 | wenzelm | added is_current; | changeset | files |
| Tue, 20 Apr 1999 15:23:43 +0200 | wenzelm | fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm; | changeset | files |
| Tue, 20 Apr 1999 15:20:27 +0200 | wenzelm | temporarily fake quiet_mode; | changeset | files |
| Tue, 20 Apr 1999 15:19:52 +0200 | wenzelm | temporarily reverted to 1.24; | changeset | files |
| Tue, 20 Apr 1999 14:38:17 +0200 | paulson | IMPORTANT CHANGE: declares class "term". Previously LK (incorrectly) | changeset | files |