| 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
|
| Wed, 14 Jul 2010 16:45:29 +0200 |
haftmann |
repaired of_list implementation for SML, OCaml
|
changeset |
files
|
| Wed, 14 Jul 2010 16:13:14 +0200 |
haftmann |
avoid export_code ... file -
|
changeset |
files
|
| Wed, 14 Jul 2010 16:02:50 +0200 |
haftmann |
explicit optional checking
|
changeset |
files
|
| Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
added Isar syntax for code checking
|
changeset |
files
|
| Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
corrected import
|
changeset |
files
|
| Wed, 14 Jul 2010 15:08:02 +0200 |
haftmann |
use generic description slot for formal code checking
|
changeset |
files
|
| Wed, 14 Jul 2010 14:53:44 +0200 |
haftmann |
formal slot for code checker
|
changeset |
files
|