Mon, 02 May 2011 16:33:21 +0200 | wenzelm | added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; | file | diff | annotate |
Sun, 13 Mar 2011 17:28:14 +0100 | wenzelm | clarified ISABELLE_CSDP setting (formerly CSDP_EXE); | file | diff | annotate |
Sat, 08 Jan 2011 17:39:51 +0100 | wenzelm | renamed Sum_Of_Squares to Sum_of_Squares; | file | diff | annotate | base |