2008-06-06 wenzelm [Fri, 06 Jun 2008 18:36:35 +0200] rev 27088
switched to Poly/ML 5.2;
Admin/isatest/settings/at-mac-poly-5.1-para Admin/isatest/settings/at-poly-5.1-para-e Admin/isatest/settings/at-poly-dev-e Admin/isatest/settings/at64-poly Admin/isatest/settings/at64-poly-5.1-para Admin/isatest/settings/mac-poly

2008-06-06 isatest [Fri, 06 Jun 2008 08:52:35 +0200] rev 27087
doc test now runs on linux
Admin/isatest/isatest-doc

2008-06-05 wenzelm [Thu, 05 Jun 2008 14:28:02 +0200] rev 27086
added at-poly-5.1-para-e;
Admin/isatest/isatest-stats

2008-06-05 haftmann [Thu, 05 Jun 2008 12:03:48 +0200] rev 27085
adjusted location of cambridge website
ANNOUNCE README

2008-06-05 isatest [Thu, 05 Jun 2008 09:01:17 +0200] rev 27084
switch from gtar to tar
Admin/isatest/isatest-makedist

2008-06-05 isatest [Thu, 05 Jun 2008 00:52:22 +0200] rev 27083
send from linux systems as well
Admin/isatest/pmail

2008-06-04 wenzelm [Wed, 04 Jun 2008 17:12:00 +0200] rev 27082
tikz: change to pgfsys-dvi.def for plain dvi output;
doc-src/Locales/Locales/document/root.tex

2008-06-04 wenzelm [Wed, 04 Jun 2008 16:44:31 +0200] rev 27081
replaced (*<*)(*>*) by invisibility tags;
doc-src/Locales/Locales/Examples.thy doc-src/Locales/Locales/Examples1.thy doc-src/Locales/Locales/Examples2.thy doc-src/Locales/Locales/Examples3.thy

2008-06-04 wenzelm [Wed, 04 Jun 2008 16:44:08 +0200] rev 27080
updated generated file;
doc-src/Locales/Locales/document/Examples.tex doc-src/Locales/Locales/document/Examples1.tex doc-src/Locales/Locales/document/Examples2.tex doc-src/Locales/Locales/document/Examples3.tex

2008-06-04 wenzelm [Wed, 04 Jun 2008 16:32:24 +0200] rev 27079
updated generated file;
doc-src/Locales/Locales/document/Examples1.tex doc-src/Locales/Locales/document/Examples3.tex