isabelle: Changelog

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37223

corrected implementation

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37222

added Scala code setup

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37221

tuned code setup

wenzelm [Tue, 01 Jun 2010 11:37:24 +0200] rev 37220

keep structure ThyLoad for the sake of Proof General;

haftmann [Tue, 01 Jun 2010 09:12:12 +0200] rev 37219

added random instance for word

wenzelm [Mon, 31 May 2010 22:08:40 +0200] rev 37218

notes on Isabelle/jEdit;

wenzelm [Mon, 31 May 2010 21:29:27 +0200] rev 37217

remove presently unused Isabelle application;

wenzelm [Mon, 31 May 2010 21:06:57 +0200] rev 37216

modernized some structure names, keeping a few legacy aliases;

wenzelm [Mon, 31 May 2010 19:36:13 +0200] rev 37215

merged

blanchet [Mon, 31 May 2010 17:41:06 +0200] rev 37214

merge

isabelle