Admin/makerpm
Wed, 01 Dec 1999 22:38:35 +0100 wenzelm accommodate current version of rpm;
Mon, 01 Nov 1999 23:29:27 +0100 wenzelm RPMRELEASE;
Mon, 06 Sep 1999 16:59:46 +0200 wenzelm isabelle-pdfdocs;
Tue, 24 Aug 1999 23:28:02 +0200 wenzelm %dir;
Sun, 22 Aug 1999 18:21:36 +0200 wenzelm tuned;
Sat, 21 Aug 1999 16:54:09 +0200 wenzelm added HOL-Real;
Thu, 06 May 1999 15:34:36 +0200 wenzelm tuned;
Wed, 05 May 1999 14:31:31 +0200 wenzelm tuned rpm file names;
Mon, 03 May 1999 14:43:52 +0200 wenzelm fixed reqs?
Mon, 03 May 1999 10:51:44 +0200 wenzelm prefer /bin for ./configure;
Mon, 03 May 1999 10:47:32 +0200 wenzelm try chown root:root;
Fri, 23 Apr 1999 16:31:12 +0200 wenzelm use /usr/share and /usr/bin;
Fri, 23 Apr 1999 11:51:38 +0200 wenzelm chgrp isabelle;
Thu, 22 Apr 1999 15:03:50 +0200 wenzelm make Isabelle rpm packages for Linux/x86 from the distribution;
less more (0) tip