| 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 |
| Fri, 22 Jan 2016 18:27:45 +0100 | update to libisabelle-0.2.2/../Protocol | file | diff | annotate |
| Sat, 29 Aug 2015 11:25:07 +0200 | PIDE-phase 2c CONTINUED: IsaToJava.fetch_applicable_tacs_out works | 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 |