2017-08-18 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
2015-09-11 | wenzelm | more symbols; | file | diff | annotate |
2014-10-08 | wenzelm | simplified "sos" method; | file | diff | annotate |
2014-09-22 | wenzelm | examples for local CSDP executable; | file | diff | annotate |
2014-09-22 | wenzelm | clarified SOS tool setup vs. examples; | file | diff | annotate |