Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
Sun, 13 Sep 2015 12:25:30 +0200 |
updated tests to changes in 636013c7949f
|
file | diff | annotate |
Sat, 15 Aug 2015 16:03:53 +0200 |
PIDE-phase-2a: changed XML for Tactic, driven from isac-java
|
file | diff | annotate |
Sat, 15 Aug 2015 08:55:27 +0200 |
PIDE-phase-2a: cleaned xml_of_tac
|
file | diff | annotate |
Fri, 14 Aug 2015 17:25:55 +0200 |
PIDE-phase-2a: xml_of_tac: different substitutions converted to same XML
|
file | diff | annotate |
Fri, 14 Aug 2015 10:01:33 +0200 |
PIDE-phase-2a: corrected XML conversion for Tactics
|
file | diff | annotate |
Thu, 28 May 2015 14:23:18 +0200 |
PIDE: more interactions in frontend interface:
|
file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
Wed, 04 Jun 2014 17:41:09 +0200 |
ad 967c8a1eb6b1 (1): adapted tests partially
|
file | diff | annotate |
Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
Mon, 25 Jul 2011 11:52:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |