| 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 |