| Mon, 27 Feb 2023 09:45:29 +0100 |
PIDE turn 9: handle empty input, error in Test_VSCode_Example, isabelle@
|
file | diff | annotate |
| Fri, 24 Feb 2023 16:14:28 +0100 |
PIDE turn 8: reorganise Test_VSCode_Example.thy, etc
|
file | diff | annotate |
| Wed, 22 Feb 2023 18:38:56 +0100 |
PIDE turn 7: prepare for Template.show
|
file | diff | annotate |
| Mon, 20 Feb 2023 12:51:17 +0100 |
correct last cs: add files etc
|
file | diff | annotate |
| Mon, 20 Feb 2023 12:33:23 +0100 |
PIDE turn 5: more structure
|
file | diff | annotate |
| Sun, 19 Feb 2023 10:29:58 +0100 |
PIDE turn 3: hints for input format of terms in Model
|
file | diff | annotate |
| Thu, 16 Feb 2023 16:20:10 +0100 |
tuned
|
file | diff | annotate |
| Thu, 16 Feb 2023 15:53:10 +0100 |
PIDE turn 2: prepare for stepwise input
|
file | diff | annotate |
| Wed, 15 Feb 2023 15:56:09 +0100 |
PIDE turn 1: model's terms show syntax error
|
file | diff | annotate |
| Mon, 13 Feb 2023 15:50:53 +0100 |
PIDE turn 0: setup for Outer_Syntax.command \<^command_keyword>?Test_Example?
|
file | diff | annotate |
| Sat, 26 Nov 2022 22:28:33 +0100 |
follow-up Makarius #4: prepare implementation of template for Specification
|
file | diff | annotate |
| Thu, 24 Nov 2022 18:07:17 +0100 |
follow-up Makarius #3: reorganise parse for proper error-reporting in problem/method
|
file | diff | annotate |
| Sun, 20 Nov 2022 11:36:46 +0100 |
recall future refinement of Specification
|
file | diff | annotate |
| Sun, 20 Nov 2022 10:36:34 +0100 |
follow-up Makarius #2: provisional parsers for Example
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
| Tue, 25 Oct 2022 17:42:04 +0200 |
follow up 7: Example with an *empty* Specification; follow ups finished
|
file | diff | annotate |
| Sun, 21 Aug 2022 16:20:48 +0200 |
reminder of userrequirement "start Calculation with CAS_Cmd"
|
file | diff | annotate |
| Thu, 04 Aug 2022 12:50:19 +0200 |
cleanup Example.id
|
file | diff | annotate |
| Tue, 26 Jul 2022 22:01:40 +0200 |
test for stepwise input to ?Example?
|
file | diff | annotate |