hoelzl [Tue, 18 Jan 2011 21:37:23 +0100] rev 42523
Gauge measure removed
haftmann [Tue, 18 Jan 2011 09:44:29 +0100] rev 42522
merged
haftmann [Tue, 18 Jan 2011 09:44:23 +0100] rev 42521
report mutabelle log in mira configuration
wenzelm [Mon, 17 Jan 2011 20:20:51 +0100] rev 42520
back to post-release mode;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 16:39:30 +0200] rev 42519
meeting dmeindl: added missing files
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 09:20:21 +0200] rev 42518
meeting dmeindl: Test_Isac.thy ok
+ added other files of dmeindl.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 09:07:38 +0200] rev 42517
meeding dmeindl
Walther Neuper <neuper@ist.tugraz.at> [Thu, 20 Sep 2012 10:07:02 +0200] rev 42516
added error-pattern "addition-of-fractions"
ATTENTION: works in Java, but not in text/../interface.sml
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Sep 2012 12:23:48 +0200] rev 42515
merged
Walther Neuper <neuper@ist.tugraz.at> [Fri, 14 Sep 2012 12:23:39 +0200] rev 42514
jrocnik: cut to 16 pages, finalised spell check
"absolutely capable of being totalled and are called step-response" ...
... is these appropriate mathematics notions ?