Wed, 03 Feb 2021 15:21:12 +0100 | step 6.2: check test-Example: same errors with ParseC.problem .. ParseC.problem_headline | file | diff | annotate |
Wed, 03 Feb 2021 14:53:37 +0100 | step 5.1: adapt ParseC.specification to new keywords | file | diff | annotate |
Fri, 22 Jan 2021 16:03:15 +0100 | step 5.5: for devel. make test-example independent from session Isac | file | diff | annotate |
Fri, 22 Jan 2021 14:56:44 +0100 | step 5.4: clarify dependencies of BridgeJEdit.thy | file | diff | annotate |
Fri, 22 Jan 2021 12:31:19 +0100 | step 5.3: separate code for keyword Problem to preliminary file | file | diff | annotate |
Fri, 22 Jan 2021 11:27:47 +0100 | step 5.2: shift tests from Test_Parse_Isac.thy to test/../parseC.sml | file | diff | annotate |
Sun, 17 Jan 2021 15:25:27 +0100 | step 5.1: separate code for keyword Example to preliminary file | file | diff | annotate |