| Thu, 02 Aug 2012 10:10:29 +0200 | blanchet | document E-MaLeS | changeset | files |
| Thu, 02 Aug 2012 10:10:29 +0200 | blanchet | added E-MaLeS to list of provers for testing | changeset | files |
| Thu, 02 Aug 2012 15:34:55 +0200 | wenzelm | discontinued unused etc/sessions catalog; | changeset | files |
| Thu, 02 Aug 2012 15:23:28 +0200 | wenzelm | allow session specifications in arbitrary order; | changeset | files |