Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Thu, 26 Jun 2014 17:19:30 +0200] rev 55466
mlehnfeld thesis updated to final version
Walther Neuper <neuper@ist.tugraz.at> [Thu, 26 Jun 2014 10:50:27 +0200] rev 55465
removed test on insert_fillpats: we avoid such tests with KEStore_Elems.*
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 25 Jun 2014 13:33:16 +0200] rev 55464
parallel calls to autoCalculate added to tests
Walther Neuper <neuper@ist.tugraz.at> [Mon, 23 Jun 2014 09:27:04 +0200] rev 55463
CLEANUP
Walther Neuper <neuper@ist.tugraz.at> [Mon, 23 Jun 2014 09:26:22 +0200] rev 55462
ad thehier: read only from finally completed knowledge
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 15:37:06 +0200] rev 55461
CLEANUP funs superfluous since introduction of ctxt
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 15:22:30 +0200] rev 55460
CLEANUP since cf8879216db3
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 15:17:07 +0200] rev 55459
ad thehier: removed last two Unsychronized.ref
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 14:58:51 +0200] rev 55458
ad thehier: update Test_Isac to previous changeset
Test_Isac.thy without error again
Walther Neuper <neuper@ist.tugraz.at> [Sun, 22 Jun 2014 14:47:36 +0200] rev 55457
ad thehier: removed theory' = Unsychronized.ref
ATTENTION: Test_Isac.thy restored in subsequent changeset