src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
Sun, 20 Sep 2020 20:47:59 +0200 wenzelm clarified signature;
Mon, 23 Dec 2019 19:27:37 +0100 wenzelm proper File.platform_path for Windows;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Sat, 16 Jul 2016 19:35:27 +0200 wenzelm tuned signature;
Fri, 15 Jul 2016 22:11:54 +0200 wenzelm clarified markup;
Mon, 07 Mar 2016 21:09:28 +0100 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
Tue, 23 Dec 2014 20:46:42 +0100 wenzelm explicit message channels for "state", "information";
Wed, 08 Oct 2014 11:50:25 +0200 wenzelm clarified messages depending on options;
Wed, 08 Oct 2014 11:09:17 +0200 wenzelm simplified "sos" method;
Wed, 08 Oct 2014 10:15:04 +0200 wenzelm tuned signature;
Mon, 22 Sep 2014 16:15:29 +0200 wenzelm clarified SOS tool setup vs. examples;
Sun, 20 Apr 2014 00:25:05 +0100 paulson sos accepts False, returns apply command
Thu, 18 Jul 2013 20:53:22 +0200 wenzelm explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
Thu, 22 Nov 2012 13:21:02 +0100 wenzelm more abstract Sendback operations, with explicit id/exec_id properties;
Mon, 28 Nov 2011 22:05:32 +0100 wenzelm separate module for concrete Isabelle markup;
Sat, 16 Jul 2011 20:52:41 +0200 wenzelm moved bash operations to Isabelle_System (cf. Scala version);
Mon, 02 May 2011 16:33:21 +0200 wenzelm added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
Sun, 13 Mar 2011 17:28:14 +0100 wenzelm clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
Sat, 08 Jan 2011 17:39:51 +0100 wenzelm renamed Sum_Of_Squares to Sum_of_Squares;
less more (0) tip