1999-05-06 | wenzelm | tuned; | file | diff | annotate |
1999-05-05 | wenzelm | tuned rpm file names; | file | diff | annotate |
1999-05-03 | wenzelm | fixed reqs? | file | diff | annotate |
1999-05-03 | wenzelm | prefer /bin for ./configure; | file | diff | annotate |
1999-05-03 | wenzelm | try chown root:root; | file | diff | annotate |
1999-04-23 | wenzelm | use /usr/share and /usr/bin; | file | diff | annotate |
1999-04-23 | wenzelm | chgrp isabelle; | file | diff | annotate |
1999-04-22 | wenzelm | make Isabelle rpm packages for Linux/x86 from the distribution; | file | diff | annotate |