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 tip
 
Sat, 06 Aug 2022 15:02:55 +0200 wneuper eliminate union_overwrite and use standard namespace merge changeset | files
Sat, 06 Aug 2022 10:45:24 +0200 wneuper reorder TODO.md priorities changeset | files
Fri, 05 Aug 2022 12:30:16 +0200 wneuper push Proof.context through Eval.adhoc_thm changeset | files
Fri, 05 Aug 2022 11:41:06 +0200 wneuper improve error-msg of Problem.from_store, MethodC.from_store changeset | files
Fri, 05 Aug 2022 11:38:10 +0200 wneuper improve error-msg of Problem.from_store, MethodC.from_store changeset | files
Fri, 05 Aug 2022 08:45:37 +0200 wneuper finish Calc_Binop, add signature EXAMPLE changeset | files
Thu, 04 Aug 2022 16:48:37 +0200 wneuper add structure Calc_Binop changeset | files
Thu, 04 Aug 2022 15:38:42 +0200 wneuper cleanup changeset | files
Thu, 04 Aug 2022 15:25:44 +0200 wneuper tuned changeset | files
Thu, 04 Aug 2022 15:24:58 +0200 wneuper review TODO.md, group items, make priority lists changeset | files
Thu, 04 Aug 2022 14:18:35 +0200 wneuper Unchronized.ref are all eliminated by cf. b125dcf14489 changeset | files
Thu, 04 Aug 2022 12:50:19 +0200 wneuper cleanup Example.id changeset | files
Thu, 04 Aug 2022 12:48:37 +0200 wneuper polish naming in Rewrite_Order changeset | files
Wed, 03 Aug 2022 18:17:27 +0200 wneuper cleanup changeset | files
Wed, 03 Aug 2022 18:06:02 +0200 wneuper eliminate global flags in GCD_Poly_ML, the last Unchronized.ref in isac changeset | files
Wed, 03 Aug 2022 17:18:47 +0200 wneuper replace val rew_ord' = Unsynchronized.ref by Theory_Data changeset | files
Wed, 03 Aug 2022 13:22:36 +0200 wneuper replace val example_store = Unsynchronized.ref by Thy_Data changeset | files
Sun, 31 Jul 2022 16:35:33 +0200 wneuper eliminate global flag Eval.trace_on changeset | files
Sun, 31 Jul 2022 13:45:20 +0200 wneuper eliminate global flags of Check_Unique, LI_Tool changeset | files
Sun, 31 Jul 2022 13:23:38 +0200 wneuper eliminate global flag Check_Unique.on changeset | files
Sun, 31 Jul 2022 12:39:07 +0200 wneuper eliminate global flags of Rewrite.* changeset | files
Sat, 30 Jul 2022 16:47:45 +0200 wneuper eliminate global flag Rewrite.trace_on changeset | files
Thu, 28 Jul 2022 11:43:27 +0200 wneuper trial on "empty" Example changeset | files
Thu, 28 Jul 2022 11:30:53 +0200 wneuper pull dropping Problem through, cf. bdca979414b0 changeset | files
Wed, 27 Jul 2022 14:14:16 +0200 wneuper polish naming changeset | files
Wed, 27 Jul 2022 14:04:04 +0200 wneuper tuned changeset | files
Wed, 27 Jul 2022 13:59:58 +0200 wneuper polish naming changeset | files
Wed, 27 Jul 2022 13:11:43 +0200 wneuper polish naming changeset | files
Tue, 26 Jul 2022 22:29:35 +0200 wneuper cleanup after trials on stepwise input to Example changeset | files
Tue, 26 Jul 2022 22:11:41 +0200 wneuper questions about parsing in Outer_Syntax.command?Example? changeset | files
Tue, 26 Jul 2022 22:01:40 +0200 wneuper test for stepwise input to ?Example? changeset | files
Tue, 26 Jul 2022 21:29:14 +0200 wneuper remove ?Problem? from ?Example? avoids redundancy changeset | files
Tue, 26 Jul 2022 19:29:09 +0200 wneuper prepare stepwise input to Example (1) changeset | files
Tue, 26 Jul 2022 18:02:22 +0200 wneuper Test_Isac works again changeset | files
Sat, 23 Jul 2022 20:05:25 +0200 wneuper //continued: investigate Outer_Syntax.command \<^command_keyword>?problem? changeset | files
Wed, 20 Jul 2022 12:16:36 +0200 wneuper prepare demo for further development changeset | files
Wed, 20 Jul 2022 11:56:45 +0200 wneuper question about Outer_Syntax.command \<^command_keyword>?Example? changeset | files
Wed, 20 Jul 2022 11:48:38 +0200 wneuper investigate Outer_Syntax.command \<^command_keyword>?problem? changeset | files
Wed, 20 Jul 2022 11:11:31 +0200 wneuper tuned changeset | files
Thu, 23 Jun 2022 12:23:38 +0200 wneuper tuned changeset | files
Wed, 22 Jun 2022 19:37:56 +0200 wneuper inspect Formalise.T changeset | files
Wed, 22 Jun 2022 19:26:18 +0200 wneuper inspect SpecificationC.is_complete changeset | files
Wed, 22 Jun 2022 17:33:45 +0200 wneuper initialise VSCode_Example with complete Specification changeset | files
Wed, 22 Jun 2022 16:24:08 +0200 wneuper rename functions in i-model.sml finished changeset | files
Tue, 21 Jun 2022 16:04:43 +0200 wneuper rename functions in i-model.sml changeset | files
Tue, 21 Jun 2022 13:51:04 +0200 wneuper tuned changeset | files
Tue, 21 Jun 2022 12:41:52 +0200 wneuper rename functions in o-model.sml finish changeset | files
Mon, 20 Jun 2022 18:43:51 +0200 wneuper merged changeset | files
Mon, 20 Jun 2022 17:42:49 +0200 wneuper intermed 4 changeset | files
Mon, 20 Jun 2022 17:36:25 +0200 wneuper intermed 3 changeset | files
Mon, 20 Jun 2022 17:22:26 +0200 wneuper intermed 2 changeset | files
Mon, 20 Jun 2022 16:58:32 +0200 wneuper intermed 1 changeset | files
Mon, 20 Jun 2022 18:37:54 +0200 wneuper rename functions in o-model.sml changeset | files
Mon, 20 Jun 2022 11:55:55 +0200 wneuper add text/../vscode-example.sml changeset | files
Mon, 20 Jun 2022 11:51:12 +0200 wneuper initialise state from intermed. example_store changeset | files
Mon, 20 Jun 2022 09:56:48 +0200 wneuper review stepwise Specification in vscode-example.sml changeset | files
Sun, 19 Jun 2022 16:55:13 +0200 wneuper shifts tests to VSCode_Example.thy, vscode-example.sml changeset | files
Sun, 19 Jun 2022 16:10:11 +0200 wneuper remove type error from Fromalise.model changeset | files
Sun, 19 Jun 2022 15:38:51 +0200 wneuper add MethodC for Demo_Example changeset | files
Sun, 19 Jun 2022 14:56:00 +0200 wneuper tuned changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 tip
wneuper/isa