| Mon, 11 Sep 2000 20:23:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 10 May 2000 16:43:39 +0200 | wenzelm | FAKE_BUILD; | file | diff | annotate |
| Tue, 29 Feb 2000 23:08:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Dec 1999 22:38:35 +0100 | wenzelm | accommodate current version of rpm; | file | diff | annotate |
| Mon, 01 Nov 1999 23:29:27 +0100 | wenzelm | RPMRELEASE; | file | diff | annotate |
| 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 |