Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
Thu, 06 Oct 2016 17:03:44 +0200 |
PIDE: removed xml for TTY interface of Isabelle2013-2
|
file | diff | annotate |
Fri, 08 Jul 2016 15:54:44 +0200 |
=== CalFormulas carry libisabelle-Term from kernel to frontend
|
file | diff | annotate |
Fri, 20 May 2016 11:34:09 +0200 |
TERM: unify XML for Formula <-- term
|
file | diff | annotate |
Sun, 20 Sep 2015 11:29:49 +0200 |
unified (Knowledge-)Context for thy, pbl, met
|
file | diff | annotate |
Sat, 29 Aug 2015 08:35:26 +0200 |
tuned
|
file | diff | annotate |
Sat, 29 Aug 2015 08:33:54 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_proposed_tac_out failed due to wrong XML conversion on SML-side
|
file | diff | annotate |
Mon, 24 Aug 2015 10:21:14 +0200 |
PIDE-phase 2c CONTINUED: removed error in Protocol
|
file | diff | annotate |
Thu, 20 Aug 2015 16:18:36 +0200 |
PIDE-phase 2c: Protocol changed to make IsaToJava simpler
|
file | diff | annotate |
Tue, 18 Aug 2015 17:39:47 +0200 |
PIDE-phase 2c: Protocol is stable with minimal changes
|
file | diff | annotate |
Fri, 24 Jul 2015 07:47:06 +0200 |
PIDE: added missing code in interface-xml
|
file | diff | annotate |
Sun, 31 May 2015 10:37:31 +0200 |
tuned
|
file | diff | annotate |
Sun, 31 May 2015 10:31:53 +0200 |
tuned
|
file | diff | annotate |
Sun, 31 May 2015 10:24:16 +0200 |
PIDE: completed Frontend.* with transition to PIDE
|
file | diff | annotate |
Sun, 31 May 2015 09:36:22 +0200 |
PIDE: completed b5770c988153
|
file | diff | annotate |
Sun, 31 May 2015 09:23:31 +0200 |
PIDE: Frontend.fetchApplicableTactics
|
file | diff | annotate |
Sun, 31 May 2015 07:38:19 +0200 |
PIDE: funs in Frontend/interface on (Isac-)context
|
file | diff | annotate |
Sat, 30 May 2015 11:56:59 +0200 |
unify xml for calcchanged -- prep.transition to PIDE
|
file | diff | annotate |
Sat, 30 May 2015 10:13:04 +0200 |
PIDE: last step of libisabelle/doc/test--isac-java--isac-kernel.txt
|
file | diff | annotate |
Sat, 30 May 2015 10:02:49 +0200 |
PIDE: funs in Frontend/interface involving autocalculateOK2xml
|
file | diff | annotate |
Thu, 28 May 2015 14:23:18 +0200 |
PIDE: more interactions in frontend interface:
|
file | diff | annotate |
Tue, 19 May 2015 12:38:32 +0200 |
PIDE: some more interactions in frontend interface
|
file | diff | annotate |
Tue, 19 May 2015 10:57:38 +0200 |
PIDE: adapted 1st interaction in frontend (no changes in test required)
|
file | diff | annotate |
Tue, 01 Jul 2014 16:10:52 +0200 |
CLEANUP
|
file | diff | annotate |
Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Mon, 23 Aug 2010 11:12:59 +0200 |
update xmlsrc/* finished
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |