Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Jul 2010 11:40:26 +0200] rev 37881
made visible default branch isac-from-Isabelle2009-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Jul 2010 11:17:26 +0200] rev 37880
1st update in decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Jul 2010 10:38:58 +0200] rev 37879
updated ListG.thy on isac-from-Isabelle2009-2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Jul 2010 10:34:42 +0200] rev 37878
start branch decompose-isar
ahirn@asparagus.ist.intra [Fri, 23 Jul 2010 11:45:15 +0200] rev 37877
started branch latex-isac-doc by alexandra & eva
Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Jul 2010 09:17:03 +0200] rev 37876
isac intermediate: until Script/Script.thy
Walther Neuper <neuper@ist.tugraz.at> [Thu, 22 Jul 2010 14:02:52 +0200] rev 37875
updates from Isabelle2009-1 to -2
Walther Neuper <neuper@ist.tugraz.at> [Thu, 22 Jul 2010 10:45:18 +0200] rev 37874
merged
Walther Neuper <neuper@ist.tugraz.at> [Thu, 22 Jul 2010 10:44:58 +0200] rev 37873
comments on how to clone repository
erott@avocado.ist.intra [Thu, 22 Jul 2010 10:40:19 +0200] rev 37872
added isac documentation, part one