| Mon, 28 Apr 2008 13:41:04 +0200 |
haftmann |
dropping return in imperative monad bindings
|
file |
diff |
annotate
|
| Sun, 27 Apr 2008 17:13:01 +0200 |
haftmann |
corrected ML semantics
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 19:04:42 +0100 |
haftmann |
clarified character serializations
|
file |
diff |
annotate
|
| Mon, 24 Mar 2008 23:34:24 +0100 |
wenzelm |
ML runtime compilation: pass position, tuned signature;
|
file |
diff |
annotate
|
| Fri, 22 Feb 2008 12:01:57 +0100 |
haftmann |
non-operative code antiquotation
|
file |
diff |
annotate
|
| Sun, 17 Feb 2008 06:49:53 +0100 |
huffman |
New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
|
file |
diff |
annotate
|
| Tue, 29 Jan 2008 10:19:58 +0100 |
haftmann |
tuned names
|
file |
diff |
annotate
|
| Sat, 26 Jan 2008 20:01:37 +0100 |
wenzelm |
avoid redundant escaping of Isabelle symbols;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 14:54:49 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 21 Jan 2008 08:43:36 +0100 |
haftmann |
non-negative numerals
|
file |
diff |
annotate
|
| Wed, 02 Jan 2008 15:14:27 +0100 |
haftmann |
empty dictionaries for OCaml
|
file |
diff |
annotate
|
| Thu, 13 Dec 2007 07:09:09 +0100 |
haftmann |
heutistics for type annotations in Haskell
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 14:16:05 +0100 |
haftmann |
map_product and fold_product
|
file |
diff |
annotate
|
| Fri, 26 Oct 2007 19:58:32 +0200 |
wenzelm |
replaced Secure.evaluate by ML_Context.evaluate;
|
file |
diff |
annotate
|
| Thu, 25 Oct 2007 13:52:05 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|