| 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 |
| Tue, 20 Apr 1999 14:36:19 +0200 | paulson | Main is the correct parent | changeset | files |
| Tue, 20 Apr 1999 14:35:12 +0200 | paulson | new result extend_LeadsTo | changeset | files |
| Tue, 20 Apr 1999 14:34:47 +0200 | paulson | should not refer to Datatype | changeset | files |
| Tue, 20 Apr 1999 14:33:48 +0200 | paulson | addition of Kerberos IV example | changeset | files |
| Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | changeset | files |