| Sat, 15 Sep 2007 19:27:35 +0200 | fixed title | file | diff | annotate |
| Tue, 10 Jul 2007 17:30:56 +0200 | now a monolithic module | file | diff | annotate |
| Tue, 10 Jul 2007 09:23:15 +0200 | replaced code generator framework for reflected cooper | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |