Wed, 14 Jul 2010 19:10:23 +0100 | kleing | use different log server (macbroy23 down) | changeset | files |
Wed, 14 Jul 2010 17:27:54 +0200 | haftmann | more consistent spacing in generated monadic code | changeset | files |
Wed, 14 Jul 2010 17:16:02 +0200 | haftmann | braced needed in layout-insensitive syntax | changeset | files |
Wed, 14 Jul 2010 17:15:58 +0200 | haftmann | repaired some implementations of imperative operations | changeset | files |
Wed, 14 Jul 2010 16:45:30 +0200 | haftmann | repaired reference implementation for OCaml | changeset | files |
Wed, 14 Jul 2010 16:45:30 +0200 | haftmann | part of pervasive test | changeset | files |
Wed, 14 Jul 2010 16:45:30 +0200 | haftmann | avoid ambiguities; tuned | changeset | files |