Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 12:36:39 +0100] rev 38095
merged
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 12:36:33 +0100] rev 38094
CTP-gui: new refs
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 10:43:00 +0100] rev 38093
tuned
Marco Steger <m.steger@student.tugraz.at> [Mon, 10 Jan 2011 11:54:16 +0100] rev 38092
CTP-UI: edit part 4;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 10:31:29 +0100] rev 38091
CTP-userinterfaces: merge completed
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 10:19:10 +0100] rev 38090
merged
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Jan 2011 10:15:44 +0100] rev 38089
CTP-userinterfaces: cite, ref, paragraph
Marco Steger <m.steger@student.tugraz.at> [Sun, 09 Jan 2011 15:10:40 +0100] rev 38088
added articles
Walther Neuper <neuper@ist.tugraz.at> [Thu, 06 Jan 2011 09:02:02 +0100] rev 38087
updated course/T3_MathEngine.thy, added MAKE-ISAC-bundle
Walther Neuper <neuper@ist.tugraz.at> [Fri, 31 Dec 2010 16:10:23 +0100] rev 38086
finished course/T3_MathEngine.thy. --- moved to Download:
Isabelle2009-2-ISAC_bundle_x86-cygwin.tar.gz