Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
Wed, 22 Feb 2012 17:33:53 +0100 | huffman | tuned whitespace | file | diff | annotate |
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 |