| Thu, 04 Aug 2022 12:50:19 +0200 |
cleanup Example.id
|
file | diff | annotate |
| Wed, 03 Aug 2022 13:22:36 +0200 |
replace val example_store = Unsynchronized.ref by Thy_Data
|
file | diff | annotate |
| Thu, 28 Jul 2022 11:30:53 +0200 |
pull dropping Problem through, cf. bdca979414b0
|
file | diff | annotate |
| Tue, 26 Jul 2022 22:01:40 +0200 |
test for stepwise input to ?Example?
|
file | diff | annotate |
| Tue, 26 Jul 2022 21:29:14 +0200 |
remove ?Problem? from ?Example? avoids redundancy
|
file | diff | annotate |
| Tue, 26 Jul 2022 19:29:09 +0200 |
prepare stepwise input to Example (1)
|
file | diff | annotate |
| Wed, 20 Jul 2022 12:16:36 +0200 |
prepare demo for further development
|
file | diff | annotate |
| Wed, 20 Jul 2022 11:56:45 +0200 |
question about Outer_Syntax.command \<^command_keyword>?Example?
|
file | diff | annotate |
| Wed, 22 Jun 2022 19:26:18 +0200 |
inspect SpecificationC.is_complete
|
file | diff | annotate |
| Wed, 22 Jun 2022 17:33:45 +0200 |
initialise VSCode_Example with complete Specification
|
file | diff | annotate |
| Mon, 20 Jun 2022 11:51:12 +0200 |
initialise state from intermed. example_store
|
file | diff | annotate |
| Mon, 20 Jun 2022 09:56:48 +0200 |
review stepwise Specification in vscode-example.sml
|
file | diff | annotate |
| Sun, 19 Jun 2022 16:55:13 +0200 |
shifts tests to VSCode_Example.thy, vscode-example.sml
|
file | diff | annotate | base |