| 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, 05 Apr 2017 22:05:31 +0200 |
push number of Warnings below 50
|
file | diff | annotate |
| Thu, 30 Mar 2017 19:30:38 +0200 |
replace Term by Ast, TestAll WORKS
|
file | diff | annotate |
| Wed, 01 Mar 2017 12:01:57 +0100 |
unify comments to "@SuppressWarnings"
|
file | diff | annotate |
| Sat, 11 Feb 2017 13:51:19 +0100 |
merged
|
file | diff | annotate |
| Thu, 09 Feb 2017 16:20:39 +0100 |
remove all Warnings in java-tests/isac/bridge/
|
file | diff | annotate |
| Fri, 10 Feb 2017 22:24:43 +0100 |
remove Warning: Imports never used
|
file | diff | annotate |
| Wed, 06 Jul 2016 13:58:21 +0200 |
=== changed kernel version (HEAD of CalcHead carries Term): update required
|
file | diff | annotate |
| Mon, 16 May 2016 14:43:21 +0200 |
re-activate <NEW>-button on GUI for new example
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
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 |
| Sun, 09 Aug 2015 07:21:24 +0200 |
PIDE-test phase 2a: reorganised DataTypes.scala, IsaToJava.scala
|
file | diff | annotate |
| Mon, 03 Aug 2015 14:51:28 +0200 |
PIDE: all 13 steps of testMini_Test work
|
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 12:44:34 +0200 |
test after new clone
|
file | diff | annotate |
| Mon, 27 Jul 2015 09:10:36 +0200 |
tuned: test is green
|
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 |