isabelle: Changelog

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;

wenzelm [Wed, 04 Jun 2008 16:18:22 +0200] rev 27075

renamed expression: plain ~ (space) instead of \colon;

wenzelm [Wed, 04 Jun 2008 12:29:33 +0200] rev 27074

updated generated file;

wenzelm [Wed, 04 Jun 2008 12:29:26 +0200] rev 27073

replaced strange \: by \colon to make it work again on macbroy20-29;

wenzelm [Tue, 03 Jun 2008 23:47:13 +0200] rev 27072

updated generated file;

wenzelm [Tue, 03 Jun 2008 23:46:53 +0200] rev 27071

clarification of "subst" by Lucas Dixon;

wenzelm [Tue, 03 Jun 2008 17:03:50 +0200] rev 27070

use polyml-5.2;

isabelle