| Mon, 10 Apr 2017 21:05:31 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 26 Oct 2016 20:59:36 +0200 | blanchet | preprocess typedefs and quotients correctly | file | diff | annotate |
| Wed, 26 Oct 2016 17:32:50 +0200 | blanchet | adapted Nunchaku's input syntax to new design decisions | file | diff | annotate |
| Mon, 24 Oct 2016 22:42:07 +0200 | blanchet | added Nunchaku integration | file | diff | annotate |