Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
 
Thu, 19 Nov 2020 16:58:42 +0100 Walther Neuper shift section <Adapt SPARK's parser -> parse Formalise.T> changeset | files
Tue, 17 Nov 2020 14:52:57 +0100 Walther Neuper testbed for SPARK parsing g_c_d.siv changeset | files
Mon, 16 Nov 2020 11:41:02 +0100 Walther Neuper adapt to session Isac now built upon HOL-SPARK changeset | files
Mon, 16 Nov 2020 10:26:40 +0100 Walther Neuper tuned changeset | files
Sun, 15 Nov 2020 15:26:52 +0100 Walther Neuper insert @{print} to analyse HOL-SPARK parsing g_c_d.siv changeset | files
Wed, 11 Nov 2020 17:27:11 +0100 Walther Neuper intermediately build Isac on HOL-SPARK changeset | files
Wed, 04 Nov 2020 09:59:30 +0100 Walther Neuper separate code for Example from spark_open, resolve name clash changeset | files
Mon, 02 Nov 2020 15:16:07 +0100 Walther Neuper prepare Outer_Syntax.command..spark_open as model changeset | files
Mon, 26 Oct 2020 13:52:26 +0100 Walther Neuper copy Outer_Syntax.command..spark_open as model for Isac Calculation changeset | files
Sat, 24 Oct 2020 12:31:22 +0200 Walther Neuper exercise in manual type inference changeset | files
Thu, 22 Oct 2020 16:26:45 +0200 Walther Neuper tuned2 changeset | files
Thu, 22 Oct 2020 16:19:28 +0200 Walther Neuper tuned changeset | files
Thu, 22 Oct 2020 16:15:27 +0200 Walther Neuper start implementing Outer_Syntax.command for Isac calculations changeset | files
Thu, 22 Oct 2020 15:40:41 +0200 Walther Neuper complete imports to Test_Isac* changeset | files
Thu, 22 Oct 2020 14:03:40 +0200 Walther Neuper various trials to decompose Isabelle's proof machinery changeset | files
Thu, 08 Oct 2020 10:05:33 +0200 Walther Neuper tuned changeset | files
Wed, 07 Oct 2020 17:47:18 +0200 Walther Neuper cp non-recursive problem parser from Test_Parse_Isac to parseC.sml changeset | files
Wed, 07 Oct 2020 12:15:31 +0200 Walther Neuper tuned changeset | files
Wed, 07 Oct 2020 11:52:54 +0200 Walther Neuper resume parsers for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL changeset | files
Wed, 07 Oct 2020 10:02:42 +0200 Walther Neuper /----- finish update Isabelle2019 --> Isabelle2020 for Test_Isac_Short.thy changeset | files
Wed, 07 Oct 2020 09:57:35 +0200 Walther Neuper Isabelle2019->20: adapt to new handling of quotes in mixfix, finished changeset | files
Wed, 07 Oct 2020 09:45:07 +0200 Walther Neuper tuned changeset | files
Wed, 07 Oct 2020 09:31:10 +0200 Walther Neuper Isabelle2019->20: adapt to new session requirements continued changeset | files
Tue, 06 Oct 2020 12:44:42 +0200 Walther Neuper Isabelle2019->20: session Isac works again changeset | files
Tue, 06 Oct 2020 12:42:25 +0200 Walther Neuper Isabelle2019->20: adapt to new handling of quotes in mixfix changeset | files
Mon, 05 Oct 2020 12:22:51 +0200 Walther Neuper cleanup CLEANUP changeset | files
Mon, 05 Oct 2020 12:16:16 +0200 Walther Neuper Isabelle2019->20: adapt to new session requirements changeset | files
Mon, 05 Oct 2020 12:05:10 +0200 Walther Neuper Isabelle2019->20: strange error in Biegelinie, tackled later changeset | files
Mon, 05 Oct 2020 11:35:42 +0200 Walther Neuper tests on new session requirements changeset | files
Sat, 03 Oct 2020 15:58:57 +0200 Walther Neuper revise .hgignore (NOT working as expected) changeset | files
Fri, 25 Sep 2020 10:15:33 +0200 Walther Neuper bypass checking Doc/Lucas_Interpreter changeset | files
Thu, 24 Sep 2020 15:48:52 +0200 Walther Neuper adopt new field inf Thm record, finished changeset | files
Thu, 24 Sep 2020 13:11:51 +0200 Walther Neuper adopt new field inf Thm record changeset | files
Thu, 24 Sep 2020 12:58:31 +0200 Walther Neuper Isabelle2019->20: Pure and HOL build with updated thm.ML changeset | files
Thu, 24 Sep 2020 12:56:19 +0200 Walther Neuper Isabelle2019->20: notify Isabelle about Isac sessions changeset | files
Wed, 23 Sep 2020 16:28:56 +0200 Walther Neuper Isabelle2019->20: insert Isac's hooks in ~~/src/Pure/thm.ML changeset | files
Wed, 23 Sep 2020 15:50:06 +0200 Walther Neuper Isabelle2019->20: separate appearance of Isac from Isabelle changeset | files
Wed, 23 Sep 2020 15:36:17 +0200 Walther Neuper Isabelle2019->20: define storage for installation-specific settings changeset | files
Wed, 23 Sep 2020 15:18:07 +0200 Walther Neuper \----- start update Isabelle2019 --> Isabelle2020 changeset | files
Wed, 23 Sep 2020 15:01:00 +0200 Walther Neuper Added tag isabisac19 for changeset f63c28616326 changeset | files
Wed, 23 Sep 2020 14:54:38 +0200 Walther Neuper final isabisac19 on Isabelle2019 isabisac19 changeset | files
Tue, 22 Sep 2020 17:56:12 +0200 Walther Neuper tuned changeset | files
Tue, 22 Sep 2020 17:54:56 +0200 Walther Neuper tuned changeset | files
Tue, 22 Sep 2020 17:53:35 +0200 Walther Neuper add Makarius' new theory_commands, changeset | files
Tue, 22 Sep 2020 15:54:42 +0200 Walther Neuper add Makarius' new theory_text changeset | files
Sat, 05 Sep 2020 15:25:30 +0200 Walther Neuper reset hacking Pure changeset | files
Sat, 05 Sep 2020 14:50:01 +0200 Walther Neuper trial 2 including problem parser into ISAC ?Problem..? changeset | files
Wed, 02 Sep 2020 17:40:02 +0200 Walther Neuper separate investigation of Outer_Syntax... to Check_Outer_Syntax.thy changeset | files
Mon, 31 Aug 2020 12:05:37 +0200 Walther Neuper trial 1 including problem parser into ISAC ?Problem..? changeset | files
Sun, 30 Aug 2020 16:21:32 +0200 Walther Neuper hacking Pure (HOL fails!) to investigate handling of <> in ISAC <> changeset | files
Sun, 30 Aug 2020 11:46:43 +0200 Walther Neuper tuned changeset | files
Sat, 29 Aug 2020 18:34:48 +0200 Walther Neuper unify investigation of Outer_Syntax.command and Outer_Syntax.local_theory changeset | files
Sat, 29 Aug 2020 14:35:29 +0200 Walther Neuper cleanup Test_Parse_Isac changeset | files
Sat, 29 Aug 2020 13:43:50 +0200 Walther Neuper parse Problem with final_result, collapsed changeset | files
Sat, 29 Aug 2020 13:17:01 +0200 Walther Neuper make parse body optional changeset | files
Sat, 29 Aug 2020 12:52:55 +0200 Walther Neuper introduce parse body changeset | files
Sat, 29 Aug 2020 12:04:53 +0200 Walther Neuper cleanup Test_Parse_Isac changeset | files
Fri, 28 Aug 2020 12:12:57 +0200 Walther Neuper compare Outer_Syntax.command with ..local_theory (from Naproche), continued changeset | files
Fri, 14 Aug 2020 12:36:33 +0200 Walther Neuper compare Outer_Syntax.command with Outer_Syntax.local_theory (from Naproche) changeset | files
Sun, 02 Aug 2020 12:32:34 +0200 Walther Neuper shift code from Test_Parse_Isac to src/ changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
wneuper/isa