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 |
Wed, 21 Dec 2016 09:21:26 +0100 |
added structure Solve INTERMEDIATELY
|
file | diff | annotate |
Wed, 21 Dec 2016 08:57:47 +0100 |
added structure Applicable INTERMEDIATELY
|
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 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 |
Wed, 30 Nov 2016 13:05:08 +0100 |
finished reformatting Inform
|
file | diff | annotate |
Wed, 30 Nov 2016 12:09:24 +0100 |
added structure Rtools : REWRITE_TOOLS
|
file | diff | annotate |
Thu, 24 Nov 2016 14:33:42 +0100 |
added structure Inform : INPUT_FORMULAS
|
file | diff | annotate |
Sat, 12 Nov 2016 17:21:43 +0100 |
--- polished LUCAS_INTERPRETER
|
file | diff | annotate |
Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
Mon, 10 Oct 2016 18:24:14 +0200 |
transport terms in theorems to frontend
|
file | diff | annotate |
Mon, 07 Dec 2015 11:25:02 +0100 |
Isabelle2014-->15: term_of-->Thm.term_of
|
file | diff | annotate |
Tue, 11 Aug 2015 15:39:27 +0200 |
PIDE-phase-2a: xml_to_* for operation_setup of all Math_Engine
|
file | diff | annotate |
Thu, 31 Jul 2014 14:32:05 +0200 |
collected updates since changeset 066b35da6c97
|
file | diff | annotate |
Thu, 31 Jul 2014 14:15:41 +0200 |
ad (b): lookup for sym_thmID directly from Isabelle using sym_thm
|
file | diff | annotate |
Fri, 13 Jun 2014 09:55:49 +0200 |
trivial removals of the_generic_context done.
|
file | diff | annotate |
Sat, 31 May 2014 15:09:33 +0200 |
details on 632d2ecab96f: error (from <NEXT> on new Worksheet)
|
file | diff | annotate |
Tue, 19 Nov 2013 22:18:14 +0000 |
switched from "castab = Unsynchronized.ref" to Theory_Data
|
file | diff | annotate |
Wed, 13 Nov 2013 12:53:39 +0000 |
"type spec", "type castab" and "val castab" moved.
|
file | diff | annotate |
Mon, 11 Nov 2013 14:55:44 +0000 |
restrict access to "castab = Unsynchronized.ref"
|
file | diff | annotate |
Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
Fri, 25 May 2012 09:58:20 +0200 |
cleaned "fun generate_inconsistent_rew"
|
file | diff | annotate |
Thu, 24 May 2012 17:13:58 +0200 |
prepared fun inputFillform
|
file | diff | annotate |
Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
Tue, 22 May 2012 07:00:53 +0200 |
tuned
|
file | diff | annotate |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Thu, 17 May 2012 19:09:48 +0200 |
fun check_error_patterns finished
|
file | diff | annotate |
Thu, 17 May 2012 16:44:13 +0200 |
intermed.
|
file | diff | annotate |
Thu, 17 May 2012 12:43:04 +0200 |
fun get_bdv_subst: get a substitution for bound variables from a program
|
file | diff | annotate |
Wed, 16 May 2012 15:01:47 +0200 |
prep. extend "type met" with errpaty
|
file | diff | annotate |
Wed, 16 May 2012 08:59:09 +0200 |
added fun check_err_patt
|
file | diff | annotate |
Sun, 15 May 2011 13:59:05 +0200 |
tuned
|
file | diff | annotate |
Fri, 13 May 2011 11:45:07 +0200 |
intermed. ctxt ..: extended PblObj with ctxt
|
file | diff | annotate |
Thu, 05 May 2011 14:21:54 +0200 |
intermed. ctxt over all minisubpbl x+1=2
|
file | diff | annotate |
Fri, 08 Apr 2011 15:16:08 +0200 |
intermed. context integration: parse replaced in some cases
|
file | diff | annotate |
Thu, 07 Apr 2011 16:31:05 +0200 |
intermed. context integration
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Mon, 21 Mar 2011 00:32:53 +0100 |
intermed. context integration: Isac compiles.
|
file | diff | annotate |
Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Sat, 09 Oct 2010 16:03:49 +0200 |
repaired Print_Mode.setmp [] ((Syntax.string_of_term
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Mon, 13 Sep 2010 18:12:15 +0200 |
ref --> Unsynchronized.ref tuned.
|
file | diff | annotate |
Mon, 13 Sep 2010 17:21:22 +0200 |
ref --> Unsynchronized.ref done
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |