| Tue, 25 May 2010 20:22:55 +0200 |
wenzelm |
tuned -- avoid catch-all exception pattern;
|
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
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 16:25:44 +0200 |
wenzelm |
reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 21:32:27 +0100 |
wenzelm |
replaced execute by system_out;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 01:25:24 +0200 |
wenzelm |
TextIO.inputLine: use present SML B library version;
|
file |
diff |
annotate
|
| Sun, 13 May 2007 18:15:26 +0200 |
haftmann |
whitespace tuned
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Fri, 20 Oct 2006 10:44:33 +0200 |
haftmann |
Symtab.foldl replaced by Symtab.fold
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 16:17:34 +0200 |
haftmann |
introduced AList module in favor of assoc etc.
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 11:39:33 +0200 |
obua |
1. changed configuration variables for linear programming (Cplex_tools):
|
file |
diff |
annotate
|
| Tue, 19 Jul 2005 16:16:53 +0200 |
obua |
proving bounds for real linear programs
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 09:53:50 +0200 |
obua |
- added cplex package to HOL/Matrix
|
file |
diff |
annotate
|