isabelle: Changelog

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;

wenzelm [Tue, 03 Jun 2008 00:16:37 +0200] rev 27060

added Wenzel:2006:Festschrift;

wenzelm [Tue, 03 Jun 2008 00:16:18 +0200] rev 27059

class_deps: improper;

wenzelm [Tue, 03 Jun 2008 00:16:07 +0200] rev 27058

\cite{Wenzel:2006:Festschrift};

wenzelm [Tue, 03 Jun 2008 00:15:46 +0200] rev 27057

updated generated file;

wenzelm [Tue, 03 Jun 2008 00:05:06 +0200] rev 27056

moved stuff from pure.thy to Misc.thy;

isabelle