| Fri, 27 Aug 2010 17:09:18 +0200 |
wenzelm |
Sum_Of_Squares: proper configuration options;
|
file |
diff |
annotate
|
| Mon, 17 May 2010 23:54:15 +0200 |
wenzelm |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 14:50:55 +0100 |
wenzelm |
renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 21:08:03 +0200 |
wenzelm |
eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 15:53:33 +0200 |
wenzelm |
clarified File.platform_path vs. File.shell_path;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Tue, 22 Sep 2009 11:26:46 +0200 |
Philipp Meyer |
used standard fold function and type aliases
|
file |
diff |
annotate
|
| Mon, 21 Sep 2009 15:05:26 +0200 |
Philipp Meyer |
sos method generates and uses proof certificates
|
file |
diff |
annotate
|
| Mon, 10 Aug 2009 13:53:42 +0200 |
Philipp Meyer |
SOS: function to set default prover; output channel changed
|
file |
diff |
annotate
|
| Mon, 10 Aug 2009 13:02:05 +0200 |
Philipp Meyer |
interrupt handler for neos csdp client
|
file |
diff |
annotate
|
| Thu, 06 Aug 2009 19:51:59 +0200 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
| base
|