Walther Neuper <neuper@ist.tugraz.at> [Tue, 03 May 2011 11:16:55 +0200] rev 41968
updated all 'Const ("Let"..' to 'Const ("HOL.Let"..'
This change was from Isabelle2009-2 to Isabelle2011;
it broke the script interpreter.
The error occurred with Apply_Method in init_form,
which returned NONE.
Marco Steger <m.steger@student.tugraz.at> [Sun, 01 May 2011 17:16:57 +0200] rev 41967
improved doku
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 13:00:34 +0200] rev 41966
tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 12:53:46 +0200] rev 41965
added draft for presentation
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 11:11:07 +0200] rev 41964
adapted file names of isabelle team
Walther Neuper <neuper@ist.tugraz.at> [Fri, 29 Apr 2011 10:02:14 +0200] rev 41963
new directory names for isac-team members
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Mon, 18 Apr 2011 15:53:36 +0200] rev 41962
copyright name added
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Apr 2011 15:48:46 +0200] rev 41961
tuned
Mathias Lehnfeld <e0726734@student.tuwien.ac.at> [Mon, 18 Apr 2011 15:24:57 +0200] rev 41960
ctxt intro finished (no environments)
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Apr 2011 14:43:26 +0200] rev 41959
tuned