| 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 |
| Mon, 22 Sep 2014 16:28:24 +0200 | wenzelm | examples for local CSDP executable; | changeset | files |
| Mon, 22 Sep 2014 16:15:29 +0200 | wenzelm | clarified SOS tool setup vs. examples; | changeset | files |
| Mon, 22 Sep 2014 15:01:27 +0200 | desharna | make 'set_induct0' tactic more robust w.r.t multiple arguments constructors | changeset | files |
| Mon, 22 Sep 2014 10:55:51 +0200 | wenzelm | merged | changeset | files |