isabelle: Changelog

haftmann [Sat, 07 Jun 2008 19:18:38 +0200] rev 27089

fixed wrong treatment of type variables in instantiation target

wenzelm [Fri, 06 Jun 2008 18:36:35 +0200] rev 27088

switched to Poly/ML 5.2;

isatest [Fri, 06 Jun 2008 08:52:35 +0200] rev 27087

doc test now runs on linux

wenzelm [Thu, 05 Jun 2008 14:28:02 +0200] rev 27086

added at-poly-5.1-para-e;

haftmann [Thu, 05 Jun 2008 12:03:48 +0200] rev 27085

adjusted location of cambridge website

isatest [Thu, 05 Jun 2008 09:01:17 +0200] rev 27084

switch from gtar to tar

isatest [Thu, 05 Jun 2008 00:52:22 +0200] rev 27083

send from linux systems as well

wenzelm [Wed, 04 Jun 2008 17:12:00 +0200] rev 27082

tikz: change to pgfsys-dvi.def for plain dvi output;

wenzelm [Wed, 04 Jun 2008 16:44:31 +0200] rev 27081

replaced (*<*)(*>*) by invisibility tags;

wenzelm [Wed, 04 Jun 2008 16:44:08 +0200] rev 27080

updated generated file;

isabelle