Mon, 10 Dec 2012 13:52:33 +0100 | wenzelm | generalized notion of active area, where sendback is just one application; | file | diff | annotate |
Thu, 22 Nov 2012 13:21:02 +0100 | wenzelm | more abstract Sendback operations, with explicit id/exec_id properties; | file | diff | annotate |
Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | file | diff | annotate |
Sat, 16 Jul 2011 20:52:41 +0200 | wenzelm | moved bash operations to Isabelle_System (cf. Scala version); | 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 |