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
 
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
Sat, 30 May 2020 14:10:58 +0200 Walther Neuper resolve hacks finished changeset | files
Fri, 29 May 2020 12:43:41 +0200 Walther Neuper [errors 4, Test_Isac_Short] resolve hacks, part 4: reapired O_Model.complete_for changeset | files
Thu, 28 May 2020 13:24:47 +0200 Walther Neuper [errors 3, Short] resolve hacks, part 3: remove hack in Step_Specify.by_tactic changeset | files
Thu, 28 May 2020 12:52:25 +0200 Walther Neuper resolve hacks, part 2: Specify.find_next_step, Specify.by_tactic_input changeset | files
Wed, 27 May 2020 16:20:06 +0200 Walther Neuper now Test_Some is OK with NEW code changeset | files
Wed, 27 May 2020 16:14:14 +0200 Walther Neuper resolve hacks, part 1: NEW O_Model.complete_for_from changeset | files
Wed, 27 May 2020 13:42:37 +0200 Walther Neuper Test_Isac_Short OK with OLD code, Test_Some OK with NEW changeset | files
Tue, 26 May 2020 11:53:43 +0200 Walther Neuper prep.resolve hacks introduced with funpack, part 4 changeset | files
Mon, 25 May 2020 16:52:38 +0200 Walther Neuper prep.resolve hacks introduced with funpack, part 3 changeset | files
Mon, 25 May 2020 11:14:51 +0200 Walther Neuper prep.resolve hacks introduced with funpack, part 2 changeset | files
Sun, 24 May 2020 17:03:40 +0200 Walther Neuper shift code from I_Model to O_Model, finished changeset | files
Sun, 24 May 2020 16:27:25 +0200 Walther Neuper shift code from I_Model to O_Model changeset | files
Sun, 24 May 2020 16:05:36 +0200 Walther Neuper prep.resolve hacks introduced with funpack, part 1 changeset | files
Wed, 20 May 2020 12:52:09 +0200 Walther Neuper standard format for string lists changeset | files
Tue, 19 May 2020 12:33:35 +0200 Walther Neuper adapt test/../Specify/* to new files in src/../Specify/* changeset | files
Mon, 18 May 2020 14:21:41 +0200 Walther Neuper Specify/* removed all warnings, only "handle _" remains changeset | files
Mon, 18 May 2020 14:12:01 +0200 Walther Neuper cleanup Specification, Specify changeset | files
Mon, 18 May 2020 14:05:46 +0200 Walther Neuper delete unused code; + see 2adc8406b746 changeset | files
Mon, 18 May 2020 14:02:54 +0200 Walther Neuper sprep.cleanup Specification, Specify changeset | files
Mon, 18 May 2020 11:58:55 +0200 Walther Neuper delete unused code; + see 554030065b5b changeset | files
Mon, 18 May 2020 11:48:27 +0200 Walther Neuper shift code from Specification to Specify changeset | files
Sat, 16 May 2020 16:54:39 +0200 Walther Neuper shift code from Specification to P_Model, rename ids changeset | files
Sat, 16 May 2020 16:23:24 +0200 Walther Neuper shift code from Specification to I_Model, rename ids changeset | files
Sat, 16 May 2020 14:04:35 +0200 Walther Neuper shift code (O_Model, M_Match, Model_Pattern) changeset | files
Sat, 16 May 2020 12:40:09 +0200 Walther Neuper shift code from Specification to O_Model changeset | files
Fri, 15 May 2020 19:31:04 +0200 Walther Neuper shift code from Specification to References, separate References_Def changeset | files
Fri, 15 May 2020 14:22:05 +0200 Walther Neuper prep. cleanup of Specification changeset | files
Fri, 15 May 2020 11:46:43 +0200 Walther Neuper shift code from Specification to appropriate locations changeset | files
Thu, 14 May 2020 16:58:33 +0200 Walther Neuper shift code from P_Specific --> CAS_Cmd changeset | files
Thu, 14 May 2020 16:08:41 +0200 Walther Neuper shift code Specification --> Calc changeset | files
Thu, 14 May 2020 15:06:18 +0200 Walther Neuper Test_Isac_Short works with P_Specific changeset | files
Thu, 14 May 2020 14:49:13 +0200 Walther Neuper analogous naming P_Specific .. P_Model changeset | files
Thu, 14 May 2020 13:48:45 +0200 Walther Neuper rename to Specification, contiued changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
wneuper/isa