| Wed, 08 Jul 2015 12:09:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Sat, 18 Apr 2015 23:43:30 +0200 | wenzelm | clarified keywords for quasi-command spans and Sidekick structure; | file | diff | annotate |
| Thu, 09 Apr 2015 20:42:32 +0200 | wenzelm | clarified keyword 'qualified' in accordance to a similar keyword from Haskell (despite unrelated Binding.qualified in Isabelle/ML); | file | diff | annotate |
| Mon, 06 Apr 2015 22:11:01 +0200 | wenzelm | support for 'restricted' modifier: only qualified accesses outside the local scope; | file | diff | annotate |
| Sat, 04 Apr 2015 21:21:40 +0200 | wenzelm | more general notion of command span: command keyword not necessarily at start; | file | diff | annotate |
| Tue, 17 Mar 2015 15:21:41 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |