isabelle: Changelog

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;

wenzelm [Wed, 04 Jun 2008 16:32:24 +0200] rev 27079

updated generated file;

wenzelm [Wed, 04 Jun 2008 16:32:14 +0200] rev 27078

work within *this* directory;

wenzelm [Wed, 04 Jun 2008 16:31:46 +0200] rev 27077

moved labels into actual sections;

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

removed TEXPATH, just chdir to Locales/document;

isabelle