| Mon, 22 Sep 2014 21:31:45 +0200 | wenzelm | merged | changeset | files |
| Mon, 22 Sep 2014 21:28:57 +0200 | wenzelm | discontinued old "xnum" token category; | changeset | files |
| Mon, 22 Sep 2014 17:07:18 +0200 | wenzelm | added csdp-6.x for proof method (sos csdp); | changeset | files |