| 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 |
| Wed, 06 Jul 2016 13:58:21 +0200 |
=== changed kernel version (HEAD of CalcHead carries Term): update required
|
file | diff | annotate |
| Tue, 05 Jul 2016 11:47:19 +0200 |
=== change versions tutor|kernel: step back to old kernel-version
|
file | diff | annotate |
| Fri, 20 May 2016 11:07:33 +0200 |
TERM: unify XML for Formula --> term
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Thu, 17 Sep 2015 10:49:46 +0200 |
intermediate state before 1st installation on Windows
|
file | diff | annotate |
| Sat, 29 Aug 2015 15:43:03 +0200 |
PIDE-phase 3a: isac.Testall runs with PIDE
|
file | diff | annotate |
| Sat, 22 Aug 2015 15:30:35 +0200 |
tuned
|
file | diff | annotate |
| Sat, 22 Aug 2015 12:39:10 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava used in further cases
|
file | diff | annotate |
| Tue, 18 Aug 2015 14:04:32 +0200 |
PIDE-phase 2c: CONTINUED with 3 IsaToJava + repair xml_.._Formula
|
file | diff | annotate |
| Tue, 18 Aug 2015 08:37:05 +0200 |
PIDE-phase 2c: NO "WRONG intree ="
|
file | diff | annotate |
| Mon, 17 Aug 2015 17:14:24 +0200 |
PIDE-phase 2c finished (seemingly, since isac.Testall runs unexpectedly)
|
file | diff | annotate |
| Mon, 17 Aug 2015 10:51:09 +0200 |
PIDE-phase 2b finished completely; isac.Testall OK
|
file | diff | annotate |
| Mon, 17 Aug 2015 07:51:03 +0200 |
PIDE-phase 2b finished except for BridgeRMI#checkCalcHead
|
file | diff | annotate |
| Mon, 17 Aug 2015 07:27:42 +0200 |
PIDE: redesign phases cf.https://intra.ist.tugraz.at/hg/isac/rev/232e68e6cad4
|
file | diff | annotate |
| Sun, 16 Aug 2015 15:14:31 +0200 |
PIDE-phase-2a: another chaotic changeset
|
file | diff | annotate |
| Sat, 15 Aug 2015 15:38:40 +0200 |
PIDE-phase-2a: xml_to_Tactic, xml_of_Tactic almost done
|
file | diff | annotate |
| Thu, 13 Aug 2015 17:14:54 +0200 |
PIDE-test phase 2a: added simple cases of libisabelle to JavaToScala
|
file | diff | annotate |
| Thu, 13 Aug 2015 11:33:28 +0200 |
PIDE-test phase 2a: solution to add libisabelle while keep isac.Testall running
|
file | diff | annotate |
| Thu, 13 Aug 2015 10:48:43 +0200 |
PIDE-phase-2a: corrected XML conversion for intree of appendFormula
|
file | diff | annotate |
| Thu, 13 Aug 2015 09:22:13 +0200 |
PIDE-test phase 2a: trial to add libisabelle while keep isac.Testall running
|
file | diff | annotate |
| Sun, 09 Aug 2015 08:07:36 +0200 |
PIDE-test phase 2a: relate conversions to Isabelle/Isac
|
file | diff | annotate |
| Sun, 09 Aug 2015 07:21:24 +0200 |
PIDE-test phase 2a: reorganised DataTypes.scala, IsaToJava.scala
|
file | diff | annotate |
| Sun, 09 Aug 2015 06:51:36 +0200 |
PIDE-test phase 2a: reorganised DataTypes.scala, JavaToIsa.scala
|
file | diff | annotate |
| Sun, 09 Aug 2015 06:18:03 +0200 |
PIDE-test phase 2a: DataTypes.scala shall be analogous to datatypes.sml
|
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 |
| Sun, 26 Jul 2015 15:24:24 +0200 |
PIDE: intermed.state in Test for CalcHead <--> XML.Tree
|
file | diff | annotate |
| Wed, 22 Jul 2015 19:27:48 +0200 |
PIDE: initialize Test for XML conversion
|
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:35:19 +0200 |
PIDE Mini_Test step 1 (Formalization) corrected
|
file | diff | annotate |
| Thu, 16 Jul 2015 08:25:50 +0200 |
reorganise conversion Java <--> XML(Scala)
|
file | diff | annotate |