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, 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
Sat, 01 Aug 2020 13:54:53 +0200 Walther Neuper parse specification supports collapsing references changeset | files
Fri, 31 Jul 2020 16:52:18 +0200 Walther Neuper parse problem close to recursive version changeset | files
Fri, 31 Jul 2020 15:28:08 +0200 Walther Neuper test already shiftes to Test_Parsers changeset | files
Fri, 31 Jul 2020 12:21:34 +0200 Walther Neuper prep.2 recursion Problem .. Solution changeset | files
Tue, 28 Jul 2020 16:17:42 +0200 Walther Neuper prep. recursion Problem .. Solution changeset | files
Wed, 22 Jul 2020 14:45:22 +0200 Walther Neuper add empty specification to Test_Parse_Isac changeset | files
Wed, 22 Jul 2020 12:10:44 +0200 Walther Neuper remove errors in Test_Parse_Isac changeset | files
Mon, 20 Jul 2020 17:54:21 +0200 Walther Neuper better naming for input strings changeset | files
Mon, 20 Jul 2020 14:46:38 +0200 Walther Neuper separate Test_Parse_Isac changeset | files
Mon, 20 Jul 2020 12:21:37 +0200 Walther Neuper tuned changeset | files
Mon, 20 Jul 2020 12:19:59 +0200 Walther Neuper test parse whole Problem OK, collapsing not changeset | files
Sat, 18 Jul 2020 16:38:58 +0200 Walther Neuper test parse specification OK changeset | files
Sat, 18 Jul 2020 14:53:01 +0200 Walther Neuper test Scan.optional successful changeset | files
Fri, 17 Jul 2020 14:48:41 +0200 Walther Neuper prep. test Scan.optional changeset | files
Fri, 17 Jul 2020 11:48:29 +0200 Walther Neuper reorganise section changeset | files
Fri, 17 Jul 2020 11:42:20 +0200 Walther Neuper cleanup Test_Parse*, start parsers for keyword ISAC changeset | files
Thu, 02 Jul 2020 09:57:58 +0200 Walther Neuper test ISAC keywords changeset | files
Mon, 29 Jun 2020 18:05:04 +0200 Walther Neuper note a TODO with tests (make steps around SubProblem more consistent) changeset | files
Mon, 29 Jun 2020 17:33:47 +0200 Walther Neuper repair etc/settings changeset | files
Mon, 29 Jun 2020 17:27:34 +0200 Walther Neuper new test me' doesn't overload jEdit buffers changeset | files
Mon, 29 Jun 2020 16:01:01 +0200 Walther Neuper renamings for Isabelle WS changeset | files
Mon, 29 Jun 2020 15:43:35 +0200 Walther Neuper code polishing changeset | files
Sun, 14 Jun 2020 15:39:55 +0200 Walther Neuper unify code (and replace Specify.by_tactic_input' by Specify.by_Add_) changeset | files
Fri, 12 Jun 2020 11:41:57 +0200 Walther Neuper unify signatures of Step's (Step_Specify.by_tactic_input) changeset | files
Wed, 03 Jun 2020 17:15:04 +0200 Walther Neuper make Specify.find_next_step more readable changeset | files
Wed, 03 Jun 2020 13:57:22 +0200 Walther Neuper unify Pre_Conds.check, partially changeset | files
Wed, 03 Jun 2020 11:25:19 +0200 Walther Neuper follow 2 ancient updates of Library.ML changeset | files
Wed, 03 Jun 2020 09:56:24 +0200 Walther Neuper simplify code, rename changeset | files
Mon, 01 Jun 2020 16:11:05 +0200 Walther Neuper remove Specify.find_next_step' changeset | files
Mon, 01 Jun 2020 11:49:37 +0200 Walther Neuper unify code changeset | files
Sat, 30 May 2020 16:18:01 +0200 Walther Neuper remove hacks, finally changeset | files
Sat, 30 May 2020 16:06:06 +0200 Walther Neuper revert O_Model.seek_* to 4e6fc3336336 changeset | files
Sat, 30 May 2020 15:20:22 +0200 Walther Neuper cleanup code after resolve hacks changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
wneuper/isa