| Mon, 17 Mar 1997 10:39:57 +0100 | wenzelm | uncommented chown / chmod (again); | file | diff | annotate |
| Fri, 07 Mar 1997 16:40:30 +0100 | wenzelm | commented out chwon, chmod; | file | diff | annotate |
| Thu, 27 Feb 1997 13:44:55 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | file | diff | annotate |
| Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | file | diff | annotate |