| Wed, 08 Oct 2014 11:09:17 +0200 | wenzelm | simplified "sos" method; | file | diff | annotate |
| Mon, 22 Sep 2014 16:15:29 +0200 | wenzelm | clarified SOS tool setup vs. examples; | file | diff | annotate |
| Mon, 09 Dec 2013 12:22:23 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| 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 |