| Fri, 14 Aug 2020 12:36:33 +0200 | compare Outer_Syntax.command with Outer_Syntax.local_theory (from Naproche) | file | diff | annotate |
| Sun, 02 Aug 2020 12:32:34 +0200 | shift code from Test_Parse_Isac to src/ | file | diff | annotate |
| Sat, 01 Aug 2020 13:54:53 +0200 | parse specification supports collapsing references | file | diff | annotate |
| Fri, 31 Jul 2020 16:52:18 +0200 | parse problem close to recursive version | file | diff | annotate |
| Fri, 31 Jul 2020 12:21:34 +0200 | prep.2 recursion Problem .. Solution | file | diff | annotate |
| Tue, 28 Jul 2020 16:17:42 +0200 | prep. recursion Problem .. Solution | file | diff | annotate |
| Wed, 22 Jul 2020 14:45:22 +0200 | add empty specification to Test_Parse_Isac | file | diff | annotate |
| Wed, 22 Jul 2020 12:10:44 +0200 | remove errors in Test_Parse_Isac | file | diff | annotate |
| Mon, 20 Jul 2020 17:54:21 +0200 | better naming for input strings | file | diff | annotate |
| Mon, 20 Jul 2020 14:46:38 +0200 | separate Test_Parse_Isac | file | diff | annotate |