| 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:41:13 +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 |
| Sun, 20 Sep 2015 15:29:28 +0200 |
cleanup "intermediate state before 1st installation on Windows"
|
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 11:48:06 +0200 |
PIDE-phase 2d: last IsaToJava.get_tac_out
|
file | diff | annotate |
| Sat, 29 Aug 2015 08:26:24 +0200 |
tuned
|
file | diff | annotate |
| Sat, 29 Aug 2015 08:26:02 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_proposed_tac_out failed due to wrong XML conversion on SML-side
|
file | diff | annotate |
| Fri, 28 Aug 2015 16:07:55 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for setNextTactic
|
file | diff | annotate |
| Fri, 28 Aug 2015 15:35:16 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for intermediateSteps checked
|
file | diff | annotate |
| Mon, 24 Aug 2015 15:49:04 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for refineProblem is remarkable
|
file | diff | annotate |
| Sat, 22 Aug 2015 15:44:21 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava added unsuccessful case
|
file | diff | annotate |
| Fri, 21 Aug 2015 14:40:41 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava used in all simple cases
|
file | diff | annotate |
| Fri, 21 Aug 2015 11:21:26 +0200 |
PIDE-phase 2c CONTINUED: use IsaToJava further
|
file | diff | annotate |
| Fri, 21 Aug 2015 10:48:56 +0200 |
PIDE-phase 2c CONTINUED: use IsaToJava 1st time
|
file | diff | annotate |
| Fri, 21 Aug 2015 08:50:53 +0200 |
PIDE-phase 2c CONTINUED: refactor for IsaToJava 2
|
file | diff | annotate |
| Thu, 20 Aug 2015 16:12:17 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava completed
|
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 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 |
| Sat, 08 Aug 2015 09:03:36 +0200 |
PIDE: improve error messages, isac.Testall still works
|
file | diff | annotate |
| Mon, 03 Aug 2015 14:28:39 +0200 |
PIDE: added asserts
|
file | diff | annotate |
| Mon, 03 Aug 2015 08:07:05 +0200 |
PIDE: test on xml_to_CalcHead works
|
file | diff | annotate |
| Mon, 27 Jul 2015 09:06:39 +0200 |
PIDE: rearranged test and continued towards xml_to_CalcHead
|
file | diff | annotate |
| Mon, 27 Jul 2015 08:05:06 +0200 |
PIDE: intermed.step towards xml_to_CalcHead
|
file | diff | annotate |
| Sun, 26 Jul 2015 17:27:43 +0200 |
PIDE: intermed.state, xml_to_Model works
|
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 |
| 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 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 |