Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 13:56:34 +0100] rev 55407
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 13:53:19 +0100] rev 55406
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 17 Mar 2014 08:54:48 +0100] rev 55405
re-establish construction of thehier
NEW construction in Build_Thydata.thy in parallel to
OLD construction in Test_Some.thy: only works on session Isac.
Note on failure of OLD construction see section 'Build <Theory>-Data'.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Wed, 12 Mar 2014 17:43:22 +0100] rev 55404
mathias lehnfeld master thesis latex files added
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 10 Mar 2014 21:16:40 +0100] rev 55403
test_appendFormula experiments removed from tests.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 10 Mar 2014 21:07:35 +0100] rev 55402
user session management now parallel
appendFormula uses futures.
Walther Neuper <neuper@ist.tugraz.at> [Sat, 08 Mar 2014 11:07:52 +0100] rev 55401
Poly: deleted, has got a separate repository
Walther Neuper <neuper@ist.tugraz.at> [Sat, 08 Mar 2014 10:59:41 +0100] rev 55400
plans for re-engineering Isac's theory hierarchy
Walther Neuper <neuper@ist.tugraz.at> [Sat, 08 Mar 2014 10:33:55 +0100] rev 55399
merged
Walther Neuper <neuper@ist.tugraz.at> [Sat, 08 Mar 2014 10:33:34 +0100] rev 55398
make specific tests run with Test_Some.thy
needs to import Build_Thydata -- like Test_Isac