Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
Thu, 20 Dec 2018 18:02:25 +0100 |
[-Test_Isac] funpack: further replacement ID::type by char string
|
file | diff | annotate |
Thu, 08 Mar 2018 07:28:17 +0100 |
TermC: push struct to tests, 3 broken and collected in Test_Isac.
|
file | diff | annotate |
Wed, 14 Feb 2018 08:05:37 +0100 |
Isabelle2015->17: simplification changed cf. 5f9f07d37a1e
|
file | diff | annotate |
Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
Tue, 06 Feb 2018 16:18:43 +0100 |
Isabelle2015->17: transfer changes from src/ to test/
|
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 |
Fri, 08 May 2015 16:03:38 +0200 |
Isabelle201302 --> Isabelle2014: add.commute cf. b42e334c97ee
|
file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
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 |
Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Thu, 22 Sep 2011 14:24:34 +0200 |
made Build_Inverse_Z_Transform.thy run
|
file | diff | annotate |
Tue, 19 Jul 2011 13:04:59 +0200 |
tuned
|
file | diff | annotate |
Tue, 19 Jul 2011 10:09:30 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
Tue, 19 Jul 2011 09:30:10 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
Mon, 18 Jul 2011 15:48:54 +0200 |
tuned
|
file | diff | annotate |
Mon, 18 Jul 2011 15:20:04 +0200 |
TESTS not WORKING !
|
file | diff | annotate |
Fri, 20 May 2011 14:08:14 +0200 |
intermed. ctxt ..: generate1..Check_Postcond..restored
|
file | diff | annotate |
Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
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 |
Thu, 10 Mar 2011 16:04:00 +0100 |
intermed.update Isabelle2011: HOL.True
|
file | diff | annotate |
Fri, 31 Dec 2010 15:19:05 +0100 |
tuned
|
file | diff | annotate |
Fri, 31 Dec 2010 14:54:02 +0100 |
removed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
|
file | diff | annotate |
Wed, 29 Dec 2010 20:07:52 +0100 |
intermed. in course/T3_MathEngine.thy
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Fri, 01 Oct 2010 16:29:33 +0200 |
tuned: tests go through
|
file | diff | annotate |
Fri, 01 Oct 2010 16:23:03 +0200 |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Mon, 06 Sep 2010 15:53:18 +0200 |
updated Knowledge/Root.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 14:48:38 +0200 |
updated Knowledge/PolyMinus, plus some changes ahead
|
file | diff | annotate |
Thu, 02 Sep 2010 15:36:48 +0200 |
updates over all Knowledge/*: Scripts 'Calculate ...'
|
file | diff | annotate |
Wed, 01 Sep 2010 16:15:13 +0200 |
update thm_names Isa2002 --> Isa09-2 in Scripts
|
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 |