Mercurial Mercurial > wneuper > isa / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -60 tip
src/Tools/isac/xmlsrc/datatypes.sml
Thu, 15 Mar 2018 14:50:29 +0100 tuned file | diff | annotate
Thu, 15 Mar 2018 10:17:44 +0100 separate structure Celem: CALC_ELEMENT, all but Knowledge/ file | diff | annotate
Wed, 07 Mar 2018 13:15:21 +0100 TermC: clean source file, partially file | diff | annotate
Fri, 02 Mar 2018 16:19:02 +0100 TermC: clean signature, partially file | diff | annotate
Fri, 02 Mar 2018 14:19:59 +0100 separate structure TermC : TERMC file | diff | annotate
Fri, 23 Feb 2018 07:29:36 +0100 separate structure Rewrite : REWRITE file | diff | annotate
Tue, 07 Feb 2017 08:57:42 +0100 separate structure Model : MODEL file | diff | annotate
Sat, 04 Feb 2017 07:20:39 +0100 separate structure Stool : SPECIFY_TOOL file | diff | annotate
Sat, 21 Jan 2017 14:53:45 +0100 --- prep 5 for structure Tac : TACTIC file | diff | annotate
Sat, 21 Jan 2017 12:32:32 +0100 prep 4 for structure Tac : TACTIC file | diff | annotate
Sat, 21 Jan 2017 10:25:19 +0100 prep 1 for structure Tac : TACTIC file | diff | annotate
Thu, 22 Dec 2016 10:25:49 +0100 --- closed structure Ctree file | diff | annotate
Wed, 21 Dec 2016 09:21:26 +0100 added structure Solve INTERMEDIATELY file | diff | annotate
Sun, 18 Dec 2016 16:27:41 +0100 added structure Specify : MODEL_SPECIFY file | diff | annotate
Wed, 30 Nov 2016 12:09:24 +0100 added structure Rtools : REWRITE_TOOLS file | diff | annotate
Thu, 24 Nov 2016 14:33:42 +0100 added structure Inform : INPUT_FORMULAS file | diff | annotate
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
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
(0) -60 tip
wneuper/isa