2014-09-24 | nipkow | added nice standard syntax | changeset | files |
2014-09-22 | wenzelm | clarified timeout for isatest; | changeset | files |
2014-09-22 | wenzelm | merged | changeset | files |
2014-09-22 | wenzelm | discontinued old "xnum" token category; | changeset | files |
2014-09-22 | wenzelm | added csdp-6.x for proof method (sos csdp); | changeset | files |
2014-09-22 | wenzelm | examples for local CSDP executable; | changeset | files |
Loading... |