Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
Thu, 22 Aug 2019 10:27:02 +0200 |
shift e_ctxt Selem. --> ContextC.
|
file | diff | annotate |
Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
Wed, 24 Jul 2019 11:30:59 +0200 |
lucin: separate interpreter-state and improve type-identifier
|
file | diff | annotate |
Wed, 24 Jul 2019 10:35:19 +0200 |
lucin: improve type-identifiers for signatures
|
file | diff | annotate |
Thu, 04 Jul 2019 15:13:30 +0200 |
lucin: tuned
|
file | diff | annotate |
Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
Mon, 27 May 2019 19:28:40 +0200 |
funpack: failed trial to generalise handling of meths which extend the model of a probl
|
file | diff | annotate |
Thu, 04 Apr 2019 17:52:52 +0200 |
[-Test_Isac] code cleanup & tests from previous changeset
|
file | diff | annotate |
Wed, 13 Mar 2019 18:59:59 +0100 |
[-Test_Isac] coeff_in adapts to Const ("Partial_Fractions.AA, _), calls come later
|
file | diff | annotate |
Mon, 11 Mar 2019 16:08:44 +0100 |
[-Test_Isac] tuned
|
file | diff | annotate |
Mon, 11 Mar 2019 16:02:27 +0100 |
show_pt_tac, a new tool for checking tests
|
file | diff | annotate |
Mon, 11 Mar 2019 11:06:27 +0100 |
pbl refinement correctly finds thy for tac Subproblem,
|
file | diff | annotate |
Thu, 07 Mar 2019 17:29:30 +0100 |
[-Test_Isac] funpack: Const AA enforces care with thys for parsing
|
file | diff | annotate |
Tue, 03 Apr 2018 16:53:18 +0200 |
improve test suite
|
file | diff | annotate |
Mon, 26 Mar 2018 07:28:39 +0200 |
Rule: structure pushed to code files
|
file | diff | annotate |
Thu, 15 Mar 2018 15:26:06 +0100 |
Celem: qualifiers not enforced by Build_Isac (+ previous "tuned")
|
file | diff | annotate |
Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
Thu, 08 Mar 2018 07:52:06 +0100 |
TermC: error caused by broken test shows: get_theory "Pure" ...
|
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 |
Fri, 02 Mar 2018 14:19:59 +0100 |
separate structure TermC : TERMC
|
file | diff | annotate |
Wed, 14 Feb 2018 12:20:35 +0100 |
separate structure LTools : LANGUAGE_TOOLS
|
file | diff | annotate |
Wed, 07 Feb 2018 10:24:16 +0100 |
Isabelle2015->17: session identifiers enforced now
|
file | diff | annotate |
Sat, 20 Jan 2018 16:53:23 +0100 |
------ Interpret/Interpret.thy builds again
|
file | diff | annotate |
Sat, 20 Jan 2018 16:39:22 +0100 |
------ PolyML.makestring discontinued
|
file | diff | annotate |
Tue, 07 Feb 2017 08:57:42 +0100 |
separate structure Model : MODEL
|
file | diff | annotate |
Mon, 06 Feb 2017 06:27:31 +0100 |
begin to re-arrange structures in Interpret.thy
|
file | diff | annotate |
Sun, 05 Feb 2017 16:39:37 +0100 |
clean structure Stool : SPECIFY_TOOL
|
file | diff | annotate |
Sat, 04 Feb 2017 07:20:39 +0100 |
separate structure Stool : SPECIFY_TOOL
|
file | diff | annotate |
Thu, 02 Feb 2017 10:41:09 +0100 |
cleanup structure Chead finished
|
file | diff | annotate |
Thu, 02 Feb 2017 06:50:47 +0100 |
remove warnings at the cost of opening structures
|
file | diff | annotate |
Thu, 02 Feb 2017 06:28:43 +0100 |
finished separate structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 14:53:45 +0100 |
--- prep 5 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 12:32:32 +0100 |
prep 4 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 12:01:30 +0100 |
prep 3 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 11:30:18 +0100 |
prep 2 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 10:25:19 +0100 |
prep 1 for structure Tac : TACTIC
|
file | diff | annotate |
Mon, 09 Jan 2017 14:47:24 +0100 |
--- Test_Isac fails, restart stepwise
|
file | diff | annotate |
Thu, 22 Dec 2016 14:05:55 +0100 |
clean structure Ctree
|
file | diff | annotate |
Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
Mon, 19 Dec 2016 10:37:44 +0100 |
renamed structure to Generate : GENERATE_CALC_TREE
|
file | diff | annotate |
Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
file | diff | annotate |
Wed, 14 Dec 2016 10:45:41 +0100 |
redesigned inout, mout (since 2003 for interface Kernel - Java)
|
file | diff | annotate |
Wed, 14 Dec 2016 09:37:01 +0100 |
added structure Ctree : CALC_TREE
|
file | diff | annotate |
Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Sat, 27 Aug 2016 05:04:53 +0200 |
improved error message
|
file | diff | annotate |
Wed, 24 Aug 2016 17:27:54 +0200 |
tuned
|
file | diff | annotate |
Mon, 07 Dec 2015 11:25:02 +0100 |
Isabelle2014-->15: term_of-->Thm.term_of
|
file | diff | annotate |
Mon, 07 Dec 2015 10:17:08 +0100 |
sabelle2014-->15: cterm_of-->Thm.global_cterm_of
|
file | diff | annotate |
Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
Mon, 18 Jul 2011 09:29:17 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
Fri, 15 Jul 2011 13:51:50 +0200 |
updated phst11/* Isabelle2009-2 --> Isabelle2011
|
file | diff | annotate |
Fri, 20 May 2011 08:12:51 +0200 |
tuned
|
file | diff | annotate |
Wed, 18 May 2011 09:45:45 +0200 |
tuned
|
file | diff | annotate |