Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 15:03:34 +0200] rev 37913
prepare reactivation of isac-update-Isa09-2
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 14:59:58 +0200] rev 37912
reactivated after 'hg branch --force decompose-isar'
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 14:56:31 +0200] rev 37911
reactivated by 'hg branch --force decompose-isar'
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:50:51 +0200] rev 37910
check files decompose-isar + isac-update-Isa09-2 OK
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:29:05 +0200] rev 37909
merged
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:24:34 +0200] rev 37908
moved decompose-isar to final dire-structure
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:06:35 +0200] rev 37907
merged
Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:02:32 +0200] rev 37906
moved isac + test to final dire-structure
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 17:58:20 +0200] rev 37905
Test_Parse_Term.thy before answer from isabelle-dev
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 09:16:29 +0200] rev 37904
intermediate on Parse.term