| 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, 31 May 2017 15:05:32 +0200 |
reactivate ScalaTermFromString
|
file | diff | annotate |
| Wed, 24 May 2017 13:58:32 +0200 |
Integrate mawen Editor into ISAC
|
file | diff | annotate |
| Thu, 30 Mar 2017 14:04:12 +0200 |
--- replace Term by Ast in formulas
|
file | diff | annotate |
| Fri, 08 Jul 2016 15:58:58 +0200 |
=== CalcFormulas carry libisabelle-Term from kernel to frontend
|
file | diff | annotate |
| Thu, 07 Jul 2016 12:01:15 +0200 |
cleanup preparing: isac-java <--Term-- kernel
|
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:57:40 +0200 |
=== change versions tutor|kernel: try to make TestAll run
|
file | diff | annotate |
| Fri, 20 May 2016 11:41:13 +0200 |
TERM: unify XML for Formula <-- term
|
file | diff | annotate |
| Fri, 20 May 2016 11:07:33 +0200 |
TERM: unify XML for Formula --> term
|
file | diff | annotate |
| Mon, 16 May 2016 14:43:21 +0200 |
re-activate <NEW>-button on GUI for new example
|
file | diff | annotate |
| Thu, 12 May 2016 09:08:11 +0200 |
unified decode/encode of libisabelle's Terms
|
file | diff | annotate |
| Mon, 08 Feb 2016 17:05:26 +0100 |
Codec[Term].encode works, TODO Util.string_of(t: Term)
|
file | diff | annotate |
| Mon, 08 Feb 2016 09:56:58 +0100 |
Codec[Term].encode works, TODO decode after extracting from XML.Tree
|
file | diff | annotate |
| Sat, 06 Feb 2016 18:44:57 +0100 |
reduce test term transport to one way, partially
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Tue, 06 Oct 2015 11:25:01 +0200 |
PIDE: (Knowledge-)Context works also for met
|
file | diff | annotate |
| Thu, 24 Sep 2015 13:01:15 +0200 |
PIDE: (Knowledge-)Context works again for thy, pbl; NOT for met
|
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:25:07 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_applicable_tacs_out works
|
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 |
| Mon, 17 Aug 2015 10:51:09 +0200 |
PIDE-phase 2b finished completely; isac.Testall OK
|
file | diff | annotate |
| Sun, 16 Aug 2015 12:36:04 +0200 |
PIDE-phase-2a: chaotic changeset during trials on xml_to_Tactic, xml_of_Tactic
|
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 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 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 |