isabelle: Changelog

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;

wenzelm [Tue, 03 Jun 2008 16:45:59 +0200] rev 27069

updated to official 5.2;

wenzelm [Tue, 03 Jun 2008 14:32:37 +0200] rev 27068

use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);

wenzelm [Tue, 03 Jun 2008 14:04:51 +0200] rev 27067

some reorganization and fine-tuning;

wenzelm [Tue, 03 Jun 2008 14:04:26 +0200] rev 27066

some fine-tuning;

wenzelm [Tue, 03 Jun 2008 13:17:11 +0200] rev 27065

CodeTarget.target_code_width;

ballarin [Tue, 03 Jun 2008 12:38:39 +0200] rev 27064

Tuned proof.

ballarin [Tue, 03 Jun 2008 12:34:22 +0200] rev 27063

New version covering interpretation.

isabelle