haftmann [Fri, 21 Oct 2005 14:49:04 +0200] rev 17951
introduced functions from Pure/General/rat.ML
haftmann [Fri, 21 Oct 2005 14:47:37 +0200] rev 17950
slight corrections
haftmann [Fri, 21 Oct 2005 10:32:59 +0200] rev 17949
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:32:04 +0200] rev 17948
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:27:02 +0200] rev 17947
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 10:21:38 +0200] rev 17946
substantially improved integration of website into distribution framework
haftmann [Fri, 21 Oct 2005 09:54:03 +0200] rev 17945
towards an improved website/makedist integration
haftmann [Fri, 21 Oct 2005 09:18:27 +0200] rev 17944
towards an improved website/makedist integration
haftmann [Fri, 21 Oct 2005 09:08:42 +0200] rev 17943
added default distinfo.mak
haftmann [Fri, 21 Oct 2005 09:05:52 +0200] rev 17942
towards an improved website/makedist integration