Admin/makerpm
1999-05-06 wenzelm tuned;
1999-05-05 wenzelm tuned rpm file names;
1999-05-03 wenzelm fixed reqs?
1999-05-03 wenzelm prefer /bin for ./configure;
1999-05-03 wenzelm try chown root:root;
1999-04-23 wenzelm use /usr/share and /usr/bin;
1999-04-23 wenzelm chgrp isabelle;
1999-04-22 wenzelm make Isabelle rpm packages for Linux/x86 from the distribution;
less more (0) tip