isabelle: Changelog

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.

wenzelm [Tue, 03 Jun 2008 11:55:35 +0200] rev 27062

proper path to isabelle.jar;

wenzelm [Tue, 03 Jun 2008 00:20:22 +0200] rev 27061

reorganized isar-ref;

isabelle