| Mon, 07 Dec 2015 15:37:09 +0100 |
Walther Neuper |
Isabelle2015 NEWS: "^^^" handles negative numerals differently
|
changeset |
files
|
| Mon, 07 Dec 2015 14:10:59 +0100 |
Walther Neuper |
Isabelle2014-->15: closed Thm.thy applied to tests
|
changeset |
files
|
| Mon, 07 Dec 2015 11:32:12 +0100 |
Walther Neuper |
Isabelle2014-->15: rem_thm-->Thm.rep_thm
|
changeset |
files
|
| Mon, 07 Dec 2015 11:25:02 +0100 |
Walther Neuper |
Isabelle2014-->15: term_of-->Thm.term_of
|
changeset |
files
|
| Mon, 07 Dec 2015 10:52:07 +0100 |
Walther Neuper |
Isabelle2014-->15: Thm.thy is not open anymore, further funs qualified
|
changeset |
files
|
| Mon, 07 Dec 2015 10:17:08 +0100 |
Walther Neuper |
sabelle2014-->15: cterm_of-->Thm.global_cterm_of
|
changeset |
files
|
| Mon, 07 Dec 2015 10:01:49 +0100 |
Walther Neuper |
Isabelle2014-->15: prop_of-->Thm.prop_of
|
changeset |
files
|
| Mon, 07 Dec 2015 09:52:54 +0100 |
Walther Neuper |
documented structure for inital imports
|
changeset |
files
|
| Sun, 06 Dec 2015 08:45:16 +0100 |
Walther Neuper |
merged Isac's hooks into Isabelle
|
changeset |
files
|
| Sat, 05 Dec 2015 16:09:41 +0100 |
Walther Neuper |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
changeset |
files
|
| Sat, 05 Dec 2015 14:26:56 +0100 |
Walther Neuper |
Added tag Isabelle2014/Isac for changeset d61d51765a02
|
changeset |
files
|
| Sat, 05 Dec 2015 14:26:29 +0100 |
Walther Neuper |
before start update Isabelle2014 --> Isabelle2015
Isabelle2014/Isac
|
changeset |
files
|
| Tue, 06 Oct 2015 15:56:47 +0200 |
Walther Neuper |
PIDE: corrected PIDE's strange handling of strings
|
changeset |
files
|
| Tue, 06 Oct 2015 15:51:10 +0200 |
Walther Neuper |
PIDE: (Knowledge-)Context works also for met FINALLY
|
changeset |
files
|
| Tue, 06 Oct 2015 09:34:43 +0200 |
Walther Neuper |
PIDE: (Knowledge-)Context works also for met
|
changeset |
files
|
| Sun, 20 Sep 2015 16:04:35 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sun, 20 Sep 2015 13:17:37 +0200 |
Walther Neuper |
found a failing test without assertion; check XML ?
|
changeset |
files
|
| Sun, 20 Sep 2015 11:29:49 +0200 |
Walther Neuper |
unified (Knowledge-)Context for thy, pbl, met
|
changeset |
files
|
| Sun, 13 Sep 2015 12:37:57 +0200 |
Walther Neuper |
improved exception handling in XML conversion
|
changeset |
files
|
| Sun, 13 Sep 2015 12:25:30 +0200 |
Walther Neuper |
updated tests to changes in 636013c7949f
|
changeset |
files
|
| Sat, 29 Aug 2015 08:35:26 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sat, 29 Aug 2015 08:33:54 +0200 |
Walther Neuper |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_proposed_tac_out failed due to wrong XML conversion on SML-side
|
changeset |
files
|
| Tue, 25 Aug 2015 06:13:07 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Tue, 25 Aug 2015 06:04:18 +0200 |
Walther Neuper |
PIDE: note on state of interface.sml -- isac-java
|
changeset |
files
|
| Mon, 24 Aug 2015 10:21:14 +0200 |
Walther Neuper |
PIDE-phase 2c CONTINUED: removed error in Protocol
|
changeset |
files
|
| Thu, 20 Aug 2015 16:18:36 +0200 |
Walther Neuper |
PIDE-phase 2c: Protocol changed to make IsaToJava simpler
|
changeset |
files
|
| Tue, 18 Aug 2015 17:39:47 +0200 |
Walther Neuper |
PIDE-phase 2c: Protocol is stable with minimal changes
|
changeset |
files
|
| Sat, 15 Aug 2015 16:03:53 +0200 |
Walther Neuper |
PIDE-phase-2a: changed XML for Tactic, driven from isac-java
|
changeset |
files
|
| Sat, 15 Aug 2015 08:55:27 +0200 |
Walther Neuper |
PIDE-phase-2a: cleaned xml_of_tac
|
changeset |
files
|
| Sat, 15 Aug 2015 08:06:28 +0200 |
Walther Neuper |
PIDE-phase-2a: xml_of_tac reordered
|
changeset |
files
|
| Fri, 14 Aug 2015 17:25:55 +0200 |
Walther Neuper |
PIDE-phase-2a: xml_of_tac: different substitutions converted to same XML
|
changeset |
files
|
| Fri, 14 Aug 2015 10:01:33 +0200 |
Walther Neuper |
PIDE-phase-2a: corrected XML conversion for Tactics
|
changeset |
files
|
| Thu, 13 Aug 2015 10:46:31 +0200 |
Walther Neuper |
PIDE-phase-2a: corrected XML conversion for intree of appendFormula
|
changeset |
files
|
| Tue, 11 Aug 2015 15:39:27 +0200 |
Walther Neuper |
PIDE-phase-2a: xml_to_* for operation_setup of all Math_Engine
|
changeset |
files
|
| Sun, 09 Aug 2015 17:52:02 +0200 |
Walther Neuper |
PIDE: auxiliary funs for operation_setup apply_tac
|
changeset |
files
|
| Sun, 09 Aug 2015 15:15:01 +0200 |
Walther Neuper |
PIDE: auxiliary funs for operation_setup append_form
|
changeset |
files
|
| Sun, 09 Aug 2015 10:00:11 +0200 |
Walther Neuper |
PIDE: reorder structure Math_Engine for implementation of interface in libisabelle
|
changeset |
files
|
| Fri, 07 Aug 2015 15:52:17 +0200 |
Walther Neuper |
PIDE: improved error-msg during embedding into Java-side
|
changeset |
files
|
| Fri, 24 Jul 2015 08:09:06 +0200 |
Walther Neuper |
PIDE: corrected XML generation
|
changeset |
files
|
| Fri, 24 Jul 2015 07:47:06 +0200 |
Walther Neuper |
PIDE: added missing code in interface-xml
|
changeset |
files
|
| Sat, 18 Jul 2015 15:43:58 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sat, 18 Jul 2015 15:37:40 +0200 |
Walther Neuper |
PIDE: Mini_Test step 1 via math-engine corrected
|
changeset |
files
|
| Sat, 18 Jul 2015 15:27:35 +0200 |
Walther Neuper |
PIDE: Protocol imports isac/Knowledge
|
changeset |
files
|
| Thu, 25 Jun 2015 11:39:47 +0200 |
Walther Neuper |
PIDE: libisabelle embedded on ML-side
|
changeset |
files
|
| Mon, 22 Jun 2015 15:30:19 +0200 |
Walther Neuper |
corrected settings of Isabelle2014/Isac
|
changeset |
files
|
| Mon, 22 Jun 2015 08:27:30 +0200 |
Walther Neuper |
PIDE: mini-test started
|
changeset |
files
|
| Wed, 17 Jun 2015 16:44:17 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
| Wed, 17 Jun 2015 15:46:55 +0200 |
Walther Neuper |
PIDE: improvement of xml conversion
|
changeset |
files
|
| Tue, 09 Jun 2015 13:08:07 +0200 |
Walther Neuper |
PIDE: cleanup of XML conversions
|
changeset |
files
|
| Tue, 09 Jun 2015 09:41:53 +0200 |
Walther Neuper |
PIDE: prepare for debugging
|
changeset |
files
|
| Tue, 09 Jun 2015 09:37:29 +0200 |
Walther Neuper |
PIDE: import libisabelle/../Protocol.thy and rename Interface --> Math_Engine
|
changeset |
files
|
| Sun, 31 May 2015 10:37:31 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sun, 31 May 2015 10:31:53 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sun, 31 May 2015 10:24:16 +0200 |
Walther Neuper |
PIDE: completed Frontend.* with transition to PIDE
|
changeset |
files
|
| Sun, 31 May 2015 09:36:22 +0200 |
Walther Neuper |
PIDE: completed b5770c988153
|
changeset |
files
|
| Sun, 31 May 2015 09:23:31 +0200 |
Walther Neuper |
PIDE: Frontend.fetchApplicableTactics
|
changeset |
files
|
| Sun, 31 May 2015 07:38:19 +0200 |
Walther Neuper |
PIDE: funs in Frontend/interface on (Isac-)context
|
changeset |
files
|
| Sat, 30 May 2015 12:16:16 +0200 |
Walther Neuper |
refactor before transition to PIDE
|
changeset |
files
|
| Sat, 30 May 2015 11:56:59 +0200 |
Walther Neuper |
unify xml for calcchanged -- prep.transition to PIDE
|
changeset |
files
|
| Sat, 30 May 2015 10:13:04 +0200 |
Walther Neuper |
PIDE: last step of libisabelle/doc/test--isac-java--isac-kernel.txt
|
changeset |
files
|