| Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
| Mon, 10 Oct 2016 18:24:14 +0200 |
transport terms in theorems to frontend
|
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 |
| Wed, 06 Jul 2016 14:05:05 +0200 |
=== kernel version which requires update in isac-java
|
file | diff | annotate |
| Fri, 20 May 2016 11:34:09 +0200 |
TERM: unify XML for Formula <-- term
|
file | diff | annotate |
| Fri, 20 May 2016 11:04:29 +0200 |
TERM: unify XML for Formula --> term
|
file | diff | annotate |
| Mon, 07 Dec 2015 11:25:02 +0100 |
Isabelle2014-->15: term_of-->Thm.term_of
|
file | diff | annotate |
| Mon, 07 Dec 2015 10:01:49 +0100 |
Isabelle2014-->15: prop_of-->Thm.prop_of
|
file | diff | annotate |
| Tue, 06 Oct 2015 15:51:10 +0200 |
PIDE: (Knowledge-)Context works also for met FINALLY
|
file | diff | annotate |
| Tue, 06 Oct 2015 09:34:43 +0200 |
PIDE: (Knowledge-)Context works also for met
|
file | diff | annotate |
| Sun, 20 Sep 2015 11:29:49 +0200 |
unified (Knowledge-)Context for thy, pbl, met
|
file | diff | annotate |
| Sun, 13 Sep 2015 12:37:57 +0200 |
improved exception handling in XML conversion
|
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 |
| Sat, 15 Aug 2015 08:06:28 +0200 |
PIDE-phase-2a: xml_of_tac reordered
|
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, 13 Aug 2015 10:46:31 +0200 |
PIDE-phase-2a: corrected XML conversion for intree of appendFormula
|
file | diff | annotate |
| Tue, 11 Aug 2015 15:39:27 +0200 |
PIDE-phase-2a: xml_to_* for operation_setup of all Math_Engine
|
file | diff | annotate |
| Sun, 09 Aug 2015 17:52:02 +0200 |
PIDE: auxiliary funs for operation_setup apply_tac
|
file | diff | annotate |
| Sun, 09 Aug 2015 15:15:01 +0200 |
PIDE: auxiliary funs for operation_setup append_form
|
file | diff | annotate |
| Fri, 24 Jul 2015 08:09:06 +0200 |
PIDE: corrected XML generation
|
file | diff | annotate |
| Fri, 24 Jul 2015 07:47:06 +0200 |
PIDE: added missing code in interface-xml
|
file | diff | annotate |
| Sat, 18 Jul 2015 15:43:58 +0200 |
tuned
|
file | diff | annotate |
| Sat, 18 Jul 2015 15:37:40 +0200 |
PIDE: Mini_Test step 1 via math-engine corrected
|
file | diff | annotate |
| Tue, 09 Jun 2015 13:08:07 +0200 |
PIDE: cleanup of XML conversions
|
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: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 09:38:24 +0200 |
auxiliary files for PIDE's XML.tree
|
file | diff | annotate |
| Mon, 04 Aug 2014 17:03:55 +0200 |
CLEANUP since 347cf013dee3 and restored Test_Isac
|
file | diff | annotate |
| Mon, 04 Aug 2014 15:54:57 +0200 |
in thehier replaced Threory.axioms_of by MutabelleExtra.thms_of
|
file | diff | annotate |
| Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
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:05:54 +0200 |
updated xmlsrc/* except interface-xml.sml
|
file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |