Alexandra Hirn <alexandra.hirn@hotmail.com> [Mon, 26 Jul 2010 14:46:45 +0200] rev 37882
translation until chapter 6
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