| Mon, 06 Sep 1999 16:59:46 +0200 | wenzelm | isabelle-pdfdocs; | file | diff | annotate |
| Tue, 24 Aug 1999 23:28:02 +0200 | wenzelm | %dir; | file | diff | annotate |
| Sun, 22 Aug 1999 18:21:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 21 Aug 1999 16:54:09 +0200 | wenzelm | added HOL-Real; | file | diff | annotate |
| Thu, 06 May 1999 15:34:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 05 May 1999 14:31:31 +0200 | wenzelm | tuned rpm file names; | file | diff | annotate |
| Mon, 03 May 1999 14:43:52 +0200 | wenzelm | fixed reqs? | file | diff | annotate |
| Mon, 03 May 1999 10:51:44 +0200 | wenzelm | prefer /bin for ./configure; | file | diff | annotate |
| Mon, 03 May 1999 10:47:32 +0200 | wenzelm | try chown root:root; | file | diff | annotate |
| Fri, 23 Apr 1999 16:31:12 +0200 | wenzelm | use /usr/share and /usr/bin; | file | diff | annotate |
| Fri, 23 Apr 1999 11:51:38 +0200 | wenzelm | chgrp isabelle; | file | diff | annotate |
| Thu, 22 Apr 1999 15:03:50 +0200 | wenzelm | make Isabelle rpm packages for Linux/x86 from the distribution; | file | diff | annotate |