| Thu, 27 Oct 2016 10:48:10 +0200 |
rename get_calculation* to adhoc_thm*
|
file | diff | annotate |
| Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Thu, 24 Jul 2014 15:44:50 +0200 |
removed the only occurrence of (ill-named) string_of_thm: finished
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
| Sun, 02 Feb 2014 03:09:40 +0100 |
ad 967c8a1eb6b1 (7): remove all code concerned with 'mets = Unsynchronized.ref'
|
file | diff | annotate |
| Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Wed, 16 May 2012 15:47:22 +0200 |
extended "type met" with errpats
|
file | diff | annotate |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 17:12:43 +0100 |
uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 07 Dec 2011 16:11:33 +0100 |
tuned
|
file | diff | annotate |
| Wed, 07 Dec 2011 10:34:12 +0100 |
finished uncomment test/../integrate.sm
|
file | diff | annotate |
| Mon, 05 Dec 2011 10:46:56 +0100 |
cleaned intermed. test
|
file | diff | annotate |
| Fri, 14 Oct 2011 16:12:50 +0200 |
begin repair test/../intergrate.sml
|
file | diff | annotate |
| Fri, 23 Sep 2011 13:58:27 +0200 |
tuned
|
file | diff | annotate |
| Fri, 23 Sep 2011 08:30:35 +0200 |
repair ctxt in locate_gen
|
file | diff | annotate |
| Tue, 19 Jul 2011 13:04:59 +0200 |
tuned
|
file | diff | annotate |
| Tue, 28 Jun 2011 15:14:00 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
| Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
| Thu, 17 Mar 2011 10:46:02 +0100 |
intermed usecase Diophant
|
file | diff | annotate |
| Thu, 17 Mar 2011 10:11:18 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
| Mon, 14 Mar 2011 16:50:44 +0100 |
intermed.update Isabelle2011: tests finished...
|
file | diff | annotate |
| Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
| Wed, 03 Nov 2010 09:45:59 +0100 |
check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml
|
file | diff | annotate |
| Fri, 29 Oct 2010 16:29:39 +0200 |
finished top-down repair, now start bottom-up repair along the tests
|
file | diff | annotate |
| Sun, 10 Oct 2010 14:15:43 +0200 |
update finished for test/../integrate.sml
|
file | diff | annotate |
| Sat, 09 Oct 2010 16:20:02 +0200 |
intermed. test/../integrate.sml
|
file | diff | annotate |
| Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
| Wed, 06 Oct 2010 14:52:12 +0200 |
intermed. test/../integrate.sml, pbl, met, scr seem to work
|
file | diff | annotate |
| Wed, 06 Oct 2010 14:35:43 +0200 |
rewriting in test/../integrate.sml works, too
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Tue, 28 Sep 2010 08:58:06 +0200 |
interrupted test/../integrate.sml for calculate.
|
file | diff | annotate |
| Sat, 25 Sep 2010 16:49:33 +0200 |
rewrite_ returns assumptions without Trueprop (as was in Isabelle2002)
|
file | diff | annotate |
| Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
| Thu, 23 Sep 2010 14:49:23 +0200 |
updated "op +", "op -", "op *". "HOL.divide" in src & test
|
file | diff | annotate |
| Thu, 23 Sep 2010 12:56:51 +0200 |
interrupted update test/../Knowledge/integrate.sml, repaired term2str
|
file | diff | annotate |
| Tue, 14 Sep 2010 15:46:56 +0200 |
repaired copy_nam
|
file | diff | annotate |
| Wed, 08 Sep 2010 17:20:03 +0200 |
tuned
|
file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
| Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
| Wed, 01 Sep 2010 15:19:47 +0200 |
cleanup from the previous commit
|
file | diff | annotate |
| Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |