| Tue, 01 Jul 2014 16:13:04 +0200 |
Walther Neuper |
correct buid of Isac
|
changeset |
files
|
| Tue, 01 Jul 2014 16:10:52 +0200 |
Walther Neuper |
CLEANUP
|
changeset |
files
|
| Tue, 01 Jul 2014 16:08:32 +0200 |
Walther Neuper |
Test_Some.thy getTactic
|
changeset |
files
|
| Mon, 30 Jun 2014 17:58:34 +0200 |
Walther Neuper |
final considerations on parallel calculations
|
changeset |
files
|
| Mon, 30 Jun 2014 16:40:44 +0200 |
Walther Neuper |
checked test/../states.sml
|
changeset |
files
|
| Mon, 30 Jun 2014 16:14:30 +0200 |
Walther Neuper |
finaly cleanup of mlehnfeld docu
|
changeset |
files
|
| Thu, 26 Jun 2014 17:19:30 +0200 |
Mathias Lehnfeld |
mlehnfeld thesis updated to final version
|
changeset |
files
|
| Thu, 26 Jun 2014 10:50:27 +0200 |
Walther Neuper |
removed test on insert_fillpats: we avoid such tests with KEStore_Elems.*
|
changeset |
files
|
| Wed, 25 Jun 2014 13:33:16 +0200 |
Mathias Lehnfeld |
parallel calls to autoCalculate added to tests
|
changeset |
files
|
| Mon, 23 Jun 2014 09:27:04 +0200 |
Walther Neuper |
CLEANUP
|
changeset |
files
|
| Mon, 23 Jun 2014 09:26:22 +0200 |
Walther Neuper |
ad thehier: read only from finally completed knowledge
|
changeset |
files
|
| Sun, 22 Jun 2014 15:37:06 +0200 |
Walther Neuper |
CLEANUP funs superfluous since introduction of ctxt
|
changeset |
files
|
| Sun, 22 Jun 2014 15:22:30 +0200 |
Walther Neuper |
CLEANUP since cf8879216db3
|
changeset |
files
|
| Sun, 22 Jun 2014 15:17:07 +0200 |
Walther Neuper |
ad thehier: removed last two Unsychronized.ref
|
changeset |
files
|
| Sun, 22 Jun 2014 14:58:51 +0200 |
Walther Neuper |
ad thehier: update Test_Isac to previous changeset
|
changeset |
files
|
| Sun, 22 Jun 2014 14:47:36 +0200 |
Walther Neuper |
ad thehier: removed theory' = Unsychronized.ref
|
changeset |
files
|
| Sun, 22 Jun 2014 14:32:51 +0200 |
Walther Neuper |
ad thehier: add funs grouping thys handled in Isac
|
changeset |
files
|
| Sun, 22 Jun 2014 14:18:02 +0200 |
Walther Neuper |
ad thehier: link KEStore_Elems to completed IsacKnowledge
|
changeset |
files
|
| Thu, 19 Jun 2014 08:27:19 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 thehier: ATTENTION: some works only in session Isac, not in Build_Isac.thy
|
changeset |
files
|
| Thu, 19 Jun 2014 08:15:50 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 thehier: cleanup
|
changeset |
files
|
| Thu, 19 Jun 2014 08:12:08 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (7) thehier: remove setup keeping tests run since 130602, 227924cdba6a
|
changeset |
files
|
| Thu, 19 Jun 2014 07:51:40 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (7) thehier: remove code superfluous by last changeset
|
changeset |
files
|
| Thu, 19 Jun 2014 07:40:46 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2,6) thehier: final repair of KEStore_Elems.add_thes
|
changeset |
files
|
| Sun, 15 Jun 2014 18:39:59 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
| Sun, 15 Jun 2014 18:27:23 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2,3) thehier: ugly chunk makes Test_Isac run
|
changeset |
files
|
| Fri, 13 Jun 2014 12:59:29 +0200 |
Mathias Lehnfeld |
tuned
|
changeset |
files
|
| Fri, 13 Jun 2014 12:42:15 +0200 |
Mathias Lehnfeld |
autoCalculate now parallelized
|
changeset |
files
|
| Fri, 13 Jun 2014 12:06:38 +0200 |
Mathias Lehnfeld |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
changeset |
files
|
| Fri, 13 Jun 2014 10:29:06 +0200 |
Mathias Lehnfeld |
last the_generic_context (in fun prep_rls) removed.
|
changeset |
files
|
| Fri, 13 Jun 2014 09:55:49 +0200 |
Mathias Lehnfeld |
trivial removals of the_generic_context done.
|
changeset |
files
|
| Thu, 12 Jun 2014 21:59:15 +0200 |
Mathias Lehnfeld |
calls to ML_Context.the_generic_context removed from KEStore.thy because they did not work when called from within a future. However, there are still five instances in other locations yet to be removed.
|
changeset |
files
|
| Thu, 12 Jun 2014 20:31:13 +0200 |
Mathias Lehnfeld |
autoCalculate error handling improved
|
changeset |
files
|
| Thu, 12 Jun 2014 20:21:06 +0200 |
Mathias Lehnfeld |
merged
|
changeset |
files
|
| Sat, 31 May 2014 23:08:06 +0200 |
Mathias Lehnfeld |
merge
|
changeset |
files
|
| Thu, 13 Mar 2014 19:19:13 +0100 |
Mathias Lehnfeld |
LICENSE file for master thesis added.
|
changeset |
files
|
| Wed, 11 Jun 2014 16:11:26 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2): prepare repair of KEStore_Elems.add_thes
|
changeset |
files
|
| Wed, 11 Jun 2014 13:40:26 +0200 |
Walther Neuper |
marked an example for parallelising calculations
|
changeset |
files
|
| Fri, 06 Jun 2014 14:49:18 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2): add missing setup KEStore_Elems.add_thes fails
|
changeset |
files
|
| Fri, 06 Jun 2014 07:10:26 +0200 |
Walther Neuper |
Test_Isac.thy works again
|
changeset |
files
|
| Fri, 06 Jun 2014 06:51:58 +0200 |
Walther Neuper |
survey on remaining Unsynchronized.ref
|
changeset |
files
|
| Fri, 06 Jun 2014 06:50:02 +0200 |
Walther Neuper |
removed further Unsynchronized.ref
|
changeset |
files
|
| Thu, 05 Jun 2014 18:10:46 +0200 |
Walther Neuper |
plans for approaching Isabelle with Isac
|
changeset |
files
|
| Thu, 05 Jun 2014 17:56:53 +0200 |
Walther Neuper |
finished transition Isabelle2011-->2013
|
changeset |
files
|
| Thu, 05 Jun 2014 16:44:36 +0200 |
Walther Neuper |
updated plans for Isabelle2011 --> Isabelle2013
|
changeset |
files
|
| Thu, 05 Jun 2014 16:41:42 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (7): remove all code concerned with "thehier = Unsynchronized.ref"
|
changeset |
files
|
| Thu, 05 Jun 2014 15:49:44 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (6): after from "thehier" all recent tests work again
|
changeset |
files
|
| Thu, 05 Jun 2014 09:20:48 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (6): switch from "thehier = Unsynchronized.ref" to Theory_Data
|
changeset |
files
|
| Thu, 05 Jun 2014 09:09:53 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2): added parallel calls to thehier via Theory_Data
|
changeset |
files
|
| Thu, 05 Jun 2014 08:53:54 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
| Thu, 05 Jun 2014 08:53:31 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (2): complete functions accessing Theory_Data in parallel to ! thehier :=
|
changeset |
files
|
| Wed, 04 Jun 2014 19:52:29 +0200 |
Mathias Lehnfeld |
more verbous error output added to autoCalculate
|
changeset |
files
|
| Wed, 04 Jun 2014 17:41:09 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (1): adapted tests partially
|
changeset |
files
|
| Wed, 04 Jun 2014 17:20:40 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (1): restrict write-access to thehier
|
changeset |
files
|
| Wed, 04 Jun 2014 16:35:11 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (1): restrict read-access to thehier finished
|
changeset |
files
|
| Mon, 02 Jun 2014 18:06:27 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (1): restrict read-access to thehier
|
changeset |
files
|
| Mon, 02 Jun 2014 17:45:20 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (0): for thehier start (1)..(7)
|
changeset |
files
|
| Sat, 31 May 2014 15:53:46 +0200 |
Walther Neuper |
ad 967c8a1eb6b1 (6): switched from 'thehier = Unsynchronized.ref' to Theory_Data
|
changeset |
files
|
| Sat, 31 May 2014 15:09:33 +0200 |
Walther Neuper |
details on 632d2ecab96f: error (from <NEXT> on new Worksheet)
|
changeset |
files
|
| Thu, 08 May 2014 14:09:02 +0200 |
Walther Neuper |
reset Polynomial.thy for LaTeXing polypaper
|
changeset |
files
|
| Sun, 04 May 2014 14:37:28 +0200 |
Walther Neuper |
unclear difference Test_Isac.thy -- Test_Some.thy
|
changeset |
files
|