Sat, 16 Jul 2016 19:35:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 15 Jul 2016 22:11:54 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
file |
diff |
annotate
|
Wed, 08 Oct 2014 11:50:25 +0200 |
wenzelm |
clarified messages depending on options;
|
file |
diff |
annotate
|
Wed, 08 Oct 2014 11:09:17 +0200 |
wenzelm |
simplified "sos" method;
|
file |
diff |
annotate
|
Wed, 08 Oct 2014 10:15:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 22 Sep 2014 16:15:29 +0200 |
wenzelm |
clarified SOS tool setup vs. examples;
|
file |
diff |
annotate
|
Sun, 20 Apr 2014 00:25:05 +0100 |
paulson |
sos accepts False, returns apply command
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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
|