| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Sat, 28 Jul 2007 20:40:24 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 22 Jul 2007 17:53:48 +0200 | chaieb | Renamed attribute dlo into attribute ferrack | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |