wenzelm [Fri, 21 Oct 2005 16:22:59 +0200] rev 17953
reverted (accidental?) change of 1.148;
haftmann [Fri, 21 Oct 2005 14:49:49 +0200] rev 17952
abandoned rational number functions in favor of General/rat.ML
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