Thu, 13 Aug 2015 16:47:00 +0200 | traytel | unfold intermediate definitions (stemming from composition) in lifted bnf operations | changeset | files |
Thu, 13 Aug 2015 13:55:52 +0200 | wenzelm | merged | changeset | files |
Thu, 13 Aug 2015 13:55:48 +0200 | wenzelm | more standard options; | changeset | files |