Mon, 31 Aug 2015 20:55:22 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Thu, 13 Aug 2015 16:47:00 +0200 | traytel | unfold intermediate definitions (stemming from composition) in lifted bnf operations | file | diff | annotate |
Wed, 12 Aug 2015 20:46:33 +0200 | traytel | new command for lifting BNF structure over typedefs | file | diff | annotate |