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 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 |
Tue, 22 Nov 2016 10:42:21 +0100 |
added structure Math_Engine : MATH_ENGINE
|
file | diff | annotate |
Mon, 21 Nov 2016 12:47:02 +0100 |
added structure Kernel: KERNEL
|
file | diff | annotate |
Sat, 12 Nov 2016 17:21:43 +0100 |
--- polished LUCAS_INTERPRETER
|
file | diff | annotate |
Thu, 27 Oct 2016 09:53:54 +0200 |
FINISED simplify handling of theorems
|
file | diff | annotate |
Mon, 10 Oct 2016 18:24:14 +0200 |
transport terms in theorems to frontend
|
file | diff | annotate |
Thu, 06 Oct 2016 17:03:44 +0200 |
PIDE: removed xml for TTY interface of Isabelle2013-2
|
file | diff | annotate |
Sun, 20 Sep 2015 11:29:49 +0200 |
unified (Knowledge-)Context for thy, pbl, met
|
file | diff | annotate |
Tue, 25 Aug 2015 06:13:07 +0200 |
tuned
|
file | diff | annotate |
Tue, 25 Aug 2015 06:04:18 +0200 |
PIDE: note on state of interface.sml -- isac-java
|
file | diff | annotate |
Sun, 09 Aug 2015 15:15:01 +0200 |
PIDE: auxiliary funs for operation_setup append_form
|
file | diff | annotate |
Sun, 09 Aug 2015 10:00:11 +0200 |
PIDE: reorder structure Math_Engine for implementation of interface in libisabelle
|
file | diff | annotate |
Fri, 07 Aug 2015 15:52:17 +0200 |
PIDE: improved error-msg during embedding into Java-side
|
file | diff | annotate |
Tue, 09 Jun 2015 09:41:53 +0200 |
PIDE: prepare for debugging
|
file | diff | annotate |
Tue, 09 Jun 2015 09:37:29 +0200 |
PIDE: import libisabelle/../Protocol.thy and rename Interface --> Math_Engine
|
file | diff | annotate |
Sun, 31 May 2015 10:37:31 +0200 |
tuned
|
file | diff | annotate |
Sun, 31 May 2015 10:31:53 +0200 |
tuned
|
file | diff | annotate |
Sun, 31 May 2015 10:24:16 +0200 |
PIDE: completed Frontend.* with transition to PIDE
|
file | diff | annotate |
Sun, 31 May 2015 09:23:31 +0200 |
PIDE: Frontend.fetchApplicableTactics
|
file | diff | annotate |
Sun, 31 May 2015 07:38:19 +0200 |
PIDE: funs in Frontend/interface on (Isac-)context
|
file | diff | annotate |
Sat, 30 May 2015 12:16:16 +0200 |
refactor before transition to PIDE
|
file | diff | annotate |
Sat, 30 May 2015 11:56:59 +0200 |
unify xml for calcchanged -- prep.transition to PIDE
|
file | diff | annotate |
Sat, 30 May 2015 10:13:04 +0200 |
PIDE: last step of libisabelle/doc/test--isac-java--isac-kernel.txt
|
file | diff | annotate |
Sat, 30 May 2015 10:02:49 +0200 |
PIDE: funs in Frontend/interface involving autocalculateOK2xml
|
file | diff | annotate |
Sat, 30 May 2015 09:40:55 +0200 |
localise (improper in PIDE) error handling preparing for transition to PIDE
|
file | diff | annotate |
Thu, 28 May 2015 14:23:18 +0200 |
PIDE: more interactions in frontend interface:
|
file | diff | annotate |
Tue, 19 May 2015 12:38:32 +0200 |
PIDE: some more interactions in frontend interface
|
file | diff | annotate |
Tue, 19 May 2015 10:57:38 +0200 |
PIDE: adapted 1st interaction in frontend (no changes in test required)
|
file | diff | annotate |
Mon, 18 May 2015 14:08:09 +0200 |
outcomment parallelism for simplifying integration of libisabelle
|
file | diff | annotate |
Mon, 18 May 2015 13:17:03 +0200 |
tuned
|
file | diff | annotate |
Tue, 18 Nov 2014 18:52:16 +0100 |
note on exception on Isabelle coding standards
|
file | diff | annotate |
Thu, 23 Oct 2014 16:49:24 +0200 |
cleanup code
|
file | diff | annotate |
Tue, 01 Jul 2014 16:10:52 +0200 |
CLEANUP
|
file | diff | annotate |
Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
Thu, 12 Jun 2014 20:31:13 +0200 |
autoCalculate error handling improved
|
file | diff | annotate |
Wed, 11 Jun 2014 13:40:26 +0200 |
marked an example for parallelising calculations
|
file | diff | annotate |
Wed, 04 Jun 2014 19:52:29 +0200 |
more verbous error output added to autoCalculate
|
file | diff | annotate |
Mon, 10 Mar 2014 21:07:35 +0100 |
user session management now parallel
|
file | diff | annotate |
Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
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 18:40:07 +0200 |
tuned
|
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 |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Wed, 16 May 2012 08:59:09 +0200 |
added fun check_err_patt
|
file | diff | annotate |
Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
Wed, 20 Jul 2011 09:33:20 +0200 |
demo: step into error
|
file | diff | annotate |
Tue, 19 Jul 2011 14:01:27 +0200 |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
|
file | diff | annotate |