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
 
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
Sun, 19 Jun 2022 14:54:14 +0200 wneuper add Problem for Demo_Example changeset | files
Sun, 19 Jun 2022 12:46:43 +0200 wneuper add input-descriptors for Demo_Example changeset | files
Sun, 19 Jun 2022 09:35:51 +0200 wneuper review tests similar to Demo_Example changeset | files
Sat, 18 Jun 2022 12:34:29 +0200 wneuper adapth thy to Demo_Example changeset | files
Fri, 17 Jun 2022 12:15:09 +0200 wneuper start checking input by ISAC changeset | files
Thu, 02 Jun 2022 17:53:41 +0200 wneuper tuned changeset | files
Thu, 02 Jun 2022 17:13:44 +0200 wneuper Calculation 8: add References; bypass "Outer syntax error: keyword Theory_Ref expected" changeset | files
Thu, 02 Jun 2022 12:12:42 +0200 wneuper Calculation 7': model with data from Demo_Example changeset | files
Thu, 02 Jun 2022 11:23:52 +0200 wneuper Calculation 7: shift model input to right place in Demo_Example changeset | files
Thu, 02 Jun 2022 09:45:11 +0200 wneuper Calculation 6''': add argument to Problem changeset | files
Wed, 01 Jun 2022 14:37:55 +0200 wneuper Calculation 6'': add inital keywords changeset | files
Wed, 01 Jun 2022 14:30:53 +0200 wneuper Calculation 6': push "Problem" into Demo_Example changeset | files
Wed, 01 Jun 2022 14:17:23 +0200 wneuper Calculation 6: separate "Problem" and "Problem_Ref" changeset | files
Wed, 01 Jun 2022 13:39:41 +0200 wneuper Calculation cf. 9d98791b4080: adapt tests changeset | files
Wed, 01 Jun 2022 13:36:28 +0200 wneuper Calculation 5'': cleanup changeset | files
Wed, 01 Jun 2022 12:27:05 +0200 wneuper Calculation 5': cleanup changeset | files
Wed, 01 Jun 2022 10:58:36 +0200 wneuper Calculation 5: narrow headline of "problem" towards "Example" changeset | files
Wed, 01 Jun 2022 09:28:56 +0200 wneuper Calculation 4: refine representations of Demo_Example changeset | files
Tue, 31 May 2022 19:24:28 +0200 wneuper Calculation 3': Demo_Example stores values to Theory_Data changeset | files
Tue, 31 May 2022 17:33:02 +0200 wneuper Calculation 3: Demo_Example stored in Theory_Data changeset | files
Tue, 31 May 2022 16:21:22 +0200 wneuper cleanup changeset | files
Tue, 31 May 2022 11:00:15 +0200 wneuper cleanup changeset | files
Tue, 31 May 2022 10:17:11 +0200 wneuper cleanup changeset | files
Tue, 31 May 2022 09:57:15 +0200 wneuper Calculation 2: Demo_Example without ML code changeset | files
Tue, 31 May 2022 09:36:02 +0200 wneuper Calculation 1''': remove test-code from previous changeset 1c8263e775d4 changeset | files
Tue, 31 May 2022 09:16:12 +0200 wneuper Calculation 1'': ERROR in Demo_Example.thy, questions in TODO.md changeset | files
Sun, 29 May 2022 19:05:14 +0200 wneuper Calculation 1': include Demo_Example into build changeset | files
Sun, 29 May 2022 19:00:35 +0200 wneuper Calculation 1: minimal changes in code + application changeset | files
Sun, 29 May 2022 12:17:09 +0200 wneuper start Calculation by use of Makarius' "problem" as boilerplate + add files changeset | files
Sun, 29 May 2022 11:34:05 +0200 wneuper cleanup changeset | files
Sun, 29 May 2022 11:27:34 +0200 wneuper start Calculation by use of Makarius' "problem" as boilerplate changeset | files
Fri, 27 May 2022 17:19:01 +0200 wneuper tuned changeset | files
Fri, 27 May 2022 17:14:49 +0200 wneuper tuned changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 tip
wneuper/isa