| 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, 09 Feb 2017 16:20:39 +0100 |
remove all Warnings in java-tests/isac/bridge/
|
file | diff | annotate |
| Tue, 17 May 2016 15:52:28 +0200 |
new setup for incremental build of jtree_of
|
file | diff | annotate |
| Tue, 17 May 2016 15:09:08 +0200 |
wait for simpler creation of JTree
|
file | diff | annotate |
| Tue, 17 May 2016 14:27:59 +0200 |
TestTermTreeView reports strange null==get(pos).getTerm())
|
file | diff | annotate |
| Mon, 18 Apr 2016 18:58:30 +0200 |
isac.Testall is OK with new libisabelle Setup
|
file | diff | annotate |
| Mon, 11 Apr 2016 11:11:22 +0200 |
create libisabelle Setup "manually"
|
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:30:47 +0100 |
example for libisabelle transporting a term isac-java/scala <-- Isabelle
|
file | diff | annotate |