| Thu, 13 Aug 2015 11:14:16 +0200 | traytel | tuned NEWS | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | actually process lift_bnf regression suite | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | NEWS, CONTRIBUTORS, documentation for lift_bnf | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | use lift_bnf in an example | changeset | files |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | new command for lifting BNF structure over typedefs | changeset | files |
| Wed, 12 Aug 2015 13:56:46 +0200 | wenzelm | more thorough reload; | changeset | files |
| Wed, 12 Aug 2015 13:53:51 +0200 | wenzelm | resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload; | changeset | files |