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 |
Thu, 12 May 2016 16:08:50 +0200 | tool for creating libisabelle's terms ... | 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 |