Thu, 06 Oct 2016 17:03:44 +0200 |
Walther Neuper |
PIDE: removed xml for TTY interface of Isabelle2013-2
|
changeset |
files
|
Wed, 05 Oct 2016 13:09:54 +0200 |
Walther Neuper |
cleaned tests from autoCalculate' (removed ')
|
changeset |
files
|
Wed, 05 Oct 2016 10:51:25 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Fri, 09 Sep 2016 10:44:05 +0200 |
Walther Neuper |
insertion sort: resolve type clash
|
changeset |
files
|
Thu, 08 Sep 2016 14:58:48 +0200 |
Walther Neuper |
insertion sort: method for stepwise construction
|
changeset |
files
|
Thu, 08 Sep 2016 13:28:36 +0200 |
Walther Neuper |
insertion sort: changed delimiter
|
changeset |
files
|
Sun, 28 Aug 2016 12:32:57 +0200 |
Walther Neuper |
insertion sort with CAS-cmd
|
changeset |
files
|
Sat, 27 Aug 2016 17:14:45 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Sat, 27 Aug 2016 17:13:10 +0200 |
Walther Neuper |
insertion sort RUNs with math-engine
|
changeset |
files
|
Sat, 27 Aug 2016 16:57:18 +0200 |
Walther Neuper |
improve error messages for writing Isac programs
|
changeset |
files
|
Sat, 27 Aug 2016 11:26:28 +0200 |
Walther Neuper |
push "ERROR in creating the environment.." up to math-engine
|
changeset |
files
|
Sat, 27 Aug 2016 10:56:42 +0200 |
Walther Neuper |
actually updated code according to previous changeset
|
changeset |
files
|
Sat, 27 Aug 2016 10:38:26 +0200 |
Walther Neuper |
excluded "ERROR in creating the environment.." FROM "helpless"
|
changeset |
files
|
Sat, 27 Aug 2016 09:40:52 +0200 |
Walther Neuper |
test for tactic Specify_Method
|
changeset |
files
|
Sat, 27 Aug 2016 05:04:53 +0200 |
Walther Neuper |
improved error message
|
changeset |
files
|
Fri, 26 Aug 2016 12:25:03 +0200 |
Walther Neuper |
separate 'type xlist' for Lucas-Interpretation
|
changeset |
files
|
Fri, 26 Aug 2016 12:02:43 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Thu, 25 Aug 2016 14:57:58 +0200 |
Walther Neuper |
insertion sort RUNs by rewriting
|
changeset |
files
|
Thu, 25 Aug 2016 08:19:58 +0200 |
Walther Neuper |
simplified insertion sort
|
changeset |
files
|
Wed, 24 Aug 2016 17:27:54 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Wed, 24 Aug 2016 17:25:40 +0200 |
Walther Neuper |
reactivate InsSort
|
changeset |
files
|
Sat, 06 Aug 2016 14:50:25 +0200 |
Walther Neuper |
adapted test to 970f55da9b00
|
changeset |
files
|
Sat, 06 Aug 2016 14:35:29 +0200 |
Walther Neuper |
reactivate test for CAScmd
|
changeset |
files
|
Mon, 25 Jul 2016 08:07:35 +0200 |
Walther Neuper |
polish method for presentation
|
changeset |
files
|
Fri, 08 Jul 2016 15:54:44 +0200 |
Walther Neuper |
=== CalFormulas carry libisabelle-Term from kernel to frontend
|
changeset |
files
|
Fri, 08 Jul 2016 15:17:50 +0200 |
Walther Neuper |
Test_Isac OK with headline of CalcHead carrying a term
|
changeset |
files
|
Wed, 06 Jul 2016 14:05:05 +0200 |
Walther Neuper |
=== kernel version which requires update in isac-java
|
changeset |
files
|
Fri, 20 May 2016 11:34:09 +0200 |
Walther Neuper |
TERM: unify XML for Formula <-- term
|
changeset |
files
|
Fri, 20 May 2016 11:04:29 +0200 |
Walther Neuper |
TERM: unify XML for Formula --> term
|
changeset |
files
|
Thu, 12 May 2016 11:23:15 +0200 |
Walther Neuper |
improved term-creation-tool
|
changeset |
files
|
Thu, 12 May 2016 10:14:10 +0200 |
Walther Neuper |
update term-creation-tool to present state of handling input of terms
|
changeset |
files
|
Mon, 09 May 2016 10:30:51 +0200 |
Walther Neuper |
tool for creating libisabelle's terms for use on Java-side
|
changeset |
files
|
Mon, 11 Apr 2016 11:36:10 +0200 |
Walther Neuper |
update libisabelle-0.2.2 to libisabelle 0.3.3: 2 missing files
|
changeset |
files
|
Wed, 06 Apr 2016 16:56:47 +0200 |
Walther Neuper |
update libisabelle-0.2.2 to libisabelle 0.3.3
|
changeset |
files
|
Sat, 06 Feb 2016 17:20:08 +0100 |
Walther Neuper |
reduce test term transport to one way
|
changeset |
files
|
Fri, 05 Feb 2016 16:05:11 +0100 |
Walther Neuper |
testdata for scala-side of libisabelle + terms
|
changeset |
files
|
Fri, 05 Feb 2016 11:05:38 +0100 |
Walther Neuper |
test for libisabelle - terms
|
changeset |
files
|
Thu, 04 Feb 2016 14:20:16 +0100 |
Walther Neuper |
trials with libisabelle + terms, removed ML error
|
changeset |
files
|
Wed, 03 Feb 2016 15:25:19 +0100 |
Walther Neuper |
trials with libisabelle + terms, ML error
|
changeset |
files
|
Fri, 22 Jan 2016 18:02:47 +0100 |
Walther Neuper |
example for libisabelle transporting a term isac-java/scala <-- Isabelle
|
changeset |
files
|
Fri, 22 Jan 2016 15:53:13 +0100 |
Walther Neuper |
update to libisabelle-0.2.2/../Protocol
|
changeset |
files
|
Thu, 21 Jan 2016 17:29:33 +0100 |
Walther Neuper |
an interesting ML_command
|
changeset |
files
|
Fri, 15 Jan 2016 09:35:24 +0100 |
Walther Neuper |
session for libisabelle + Isac
|
changeset |
files
|
Wed, 13 Jan 2016 14:37:27 +0100 |
Walther Neuper |
cleanup theory imports, part 1
|
changeset |
files
|
Wed, 13 Jan 2016 13:55:56 +0100 |
Walther Neuper |
made Knowledge independent from libraries
|
changeset |
files
|
Tue, 12 Jan 2016 19:52:36 +0100 |
Walther Neuper |
merged
|
changeset |
files
|
Tue, 12 Jan 2016 19:52:22 +0100 |
Walther Neuper |
replace call of MutabelleExtra.thms_of
|
changeset |
files
|
Tue, 12 Jan 2016 19:47:59 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
Tue, 12 Jan 2016 14:40:55 +0100 |
Walther Neuper |
trials on physical and technical units
|
changeset |
files
|
Tue, 05 Jan 2016 11:40:04 +0100 |
Walther Neuper |
experiments with ROOT/paths for libisabelle-protocol
|
changeset |
files
|
Tue, 05 Jan 2016 11:13:20 +0100 |
Walther Neuper |
experiments with ROOT/paths in libisabelle-procol
|
changeset |
files
|
Mon, 04 Jan 2016 13:10:23 +0100 |
Walther Neuper |
libisabelle/Protocol: all subsequent operation_setup compile without error
|
changeset |
files
|
Mon, 04 Jan 2016 12:32:01 +0100 |
Walther Neuper |
libisabelle/Protocol: 1st operation_setup compiles without error
|
changeset |
files
|
Mon, 21 Dec 2015 14:19:03 +0100 |
Walther Neuper |
Isabelle2014-->15: Test_Isac is perfect
|
changeset |
files
|
Mon, 21 Dec 2015 14:06:19 +0100 |
Walther Neuper |
Isabelle2014-->15: finished closed Thm.thy for tests
|
changeset |
files
|
Mon, 21 Dec 2015 13:58:02 +0100 |
Walther Neuper |
Isabelle2014-->2015: dropped tests not required any more
|
changeset |
files
|
Mon, 21 Dec 2015 13:35:41 +0100 |
Walther Neuper |
built session Isac without libisabelle Protocol
|
changeset |
files
|
Thu, 17 Dec 2015 15:48:13 +0100 |
Walther Neuper |
added libisabelle-protocol
|
changeset |
files
|
Thu, 17 Dec 2015 15:46:49 +0100 |
Walther Neuper |
Build_Isac works with Isabelle2015, excludes Protocol.thy
|
changeset |
files
|
Mon, 07 Dec 2015 16:07:24 +0100 |
Walther Neuper |
Isabelle2014-->15: removed errors from d9c3e373f8f5
|
changeset |
files
|