Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
Wed, 12 Sep 2018 16:24:42 +0200 |
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
|
file | diff | annotate |
Tue, 14 Feb 2017 11:19:19 +0100 |
restore deleted code in java-tests/
|
file | diff | annotate |
Sat, 11 Feb 2017 13:51:19 +0100 |
merged
|
file | diff | annotate |
Thu, 09 Feb 2017 16:20:39 +0100 |
remove all Warnings in java-tests/isac/bridge/
|
file | diff | annotate |
Fri, 10 Feb 2017 22:24:43 +0100 |
remove Warning: Imports never used
|
file | diff | annotate |
Thu, 07 Jul 2016 12:01:15 +0200 |
cleanup preparing: isac-java <--Term-- kernel
|
file | diff | annotate |
Wed, 11 May 2016 13:27:45 +0200 |
collect creation of analogous testdata
|
file | diff | annotate |
Mon, 18 Apr 2016 18:58:30 +0200 |
isac.Testall is OK with new libisabelle Setup
|
file | diff | annotate |
Mon, 11 Apr 2016 11:11:22 +0200 |
create libisabelle Setup "manually"
|
file | diff | annotate |
Mon, 04 Apr 2016 14:18:31 +0200 |
prepare for Codec[Term].decode
|
file | diff | annotate |
Mon, 08 Feb 2016 17:05:26 +0100 |
Codec[Term].encode works, TODO Util.string_of(t: Term)
|
file | diff | annotate |
Sat, 06 Feb 2016 18:44:57 +0100 |
reduce test term transport to one way, partially
|
file | diff | annotate |
Fri, 05 Feb 2016 16:19:53 +0100 |
test term transport via libisabelle, partially
|
file | diff | annotate |
Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
Fri, 21 Aug 2015 08:44:26 +0200 |
PIDE-phase 2c CONTINUED: refactor for IsaToJava
|
file | diff | annotate |
Tue, 18 Aug 2015 17:50:16 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava almost completed
|
file | diff | annotate |
Tue, 18 Aug 2015 14:04:32 +0200 |
PIDE-phase 2c: CONTINUED with 3 IsaToJava + repair xml_.._Formula
|
file | diff | annotate |
Sun, 09 Aug 2015 06:51:36 +0200 |
PIDE-test phase 2a: reorganised DataTypes.scala, JavaToIsa.scala
|
file | diff | annotate |
Sat, 08 Aug 2015 12:37:59 +0200 |
PIDE-test phase 1a: Mini_Test == TestBridge#testMinisubpblAutoCalc works (ONLY!)
|
file | diff | annotate |
Fri, 07 Aug 2015 08:07:47 +0200 |
PIDE: correct argument type in XML conversion
|
file | diff | annotate |
Mon, 03 Aug 2015 14:51:28 +0200 |
PIDE: all 13 steps of testMini_Test work
|
file | diff | annotate |
Sun, 26 Jul 2015 15:24:24 +0200 |
PIDE: intermed.state in Test for CalcHead <--> XML.Tree
|
file | diff | annotate |
Tue, 21 Jul 2015 16:07:58 +0200 |
PIDE: located error conversion of CalcHead
|
file | diff | annotate |
Tue, 21 Jul 2015 13:26:24 +0200 |
PIDE: intermediate state on step 6+10
|
file | diff | annotate |
Sun, 19 Jul 2015 15:46:10 +0200 |
PIDE: removed bug in JavaToIsa.scala
|
file | diff | annotate |
Sun, 19 Jul 2015 14:42:05 +0200 |
improve allocation of code Java -- Scala
|
file | diff | annotate |
Sun, 19 Jul 2015 06:38:04 +0200 |
tuned
|
file | diff | annotate |
Sun, 19 Jul 2015 06:35:19 +0200 |
PIDE Mini_Test step 1 (Formalization) corrected
|
file | diff | annotate |
Thu, 16 Jul 2015 08:45:20 +0200 |
tuned: test runs again
|
file | diff | annotate |
Thu, 16 Jul 2015 07:37:02 +0200 |
ConvertXML.scala supports nested objects, eg. Position
|
file | diff | annotate |
Wed, 15 Jul 2015 11:50:15 +0200 |
shift ConvertXML.scala from libisabelle to isac-java
|
file | diff | annotate |
Wed, 15 Jul 2015 11:38:08 +0200 |
PIDE-output all cases except CalcHead
|
file | diff | annotate |
Sat, 11 Jul 2015 11:36:47 +0200 |
PIDE-input with elements of isac.util.formulae.Position
|
file | diff | annotate |
Thu, 09 Jul 2015 15:51:21 +0200 |
Mini_Test for libisabelle/PIDE successful
|
file | diff | annotate |
Thu, 09 Jul 2015 13:54:55 +0200 |
JUnit tests connection to libisabelle/PIDE successful
|
file | diff | annotate |
Tue, 07 Jul 2015 12:49:57 +0200 |
tried to make isac-java runnable for DEBUGging
|
file | diff | annotate |
Tue, 07 Jul 2015 12:31:14 +0200 |
test connection to libisabelle/PIDE
|
file | diff | annotate |