Fri, 07 Mar 1997 15:03:57 +0100 | wenzelm | fixed Not syntax; | changeset | files |
Fri, 07 Mar 1997 14:52:19 +0100 | wenzelm | tuned comment; | changeset | files |
Fri, 07 Mar 1997 14:51:50 +0100 | wenzelm | tuned comments; | changeset | files |
Fri, 07 Mar 1997 14:49:56 +0100 | wenzelm | Isabelle installation notes; | changeset | files |
Fri, 07 Mar 1997 14:31:00 +0100 | wenzelm | now sans serifs; | changeset | files |
Fri, 07 Mar 1997 13:47:37 +0100 | wenzelm | tuned; | changeset | files |
Fri, 07 Mar 1997 13:21:15 +0100 | wenzelm | *** empty log message *** | changeset | files |