Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Sep 2013 12:32:55 +0200] rev 52117
disentangled duplicate type-identifier "calcID"
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Sep 2013 12:04:38 +0200] rev 52116
tuned
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Sep 2013 11:16:25 +0200] rev 52115
prepare removing Unsynchronized.ref, simplified version
Walther Neuper <neuper@ist.tugraz.at> [Thu, 19 Sep 2013 11:13:39 +0200] rev 52114
handling of contexts limited appropriately
separate handling of environment (as is) is appropriate.
Walther Neuper <neuper@ist.tugraz.at> [Wed, 18 Sep 2013 09:54:53 +0200] rev 52113
tuned
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Sep 2013 18:59:56 +0200] rev 52112
test file for parallelizing math-engine
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Sep 2013 18:00:59 +0200] rev 52111
dissolve an old identifier clash with "insert"
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Sep 2013 11:22:53 +0200] rev 52110
started investigation of Isabelle's mechanisms for parallel execution
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Sep 2013 10:13:42 +0200] rev 52109
determined main-file for mlehnfeld's master thesis
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Sep 2013 10:12:15 +0200] rev 52108
determined main-file for mlehnfeld's master thesis