| Fri, 16 Jul 2010 13:57:29 +0200 | haftmann | tuned interpunctation | changeset | files |
| Fri, 16 Jul 2010 10:23:21 +0200 | haftmann | fragments of Scala | changeset | files |
| Thu, 15 Jul 2010 10:16:17 +0200 | haftmann | merged | changeset | files |
| Thu, 15 Jul 2010 10:12:49 +0200 | haftmann | adjusted; fixed typo | changeset | files |
| Thu, 15 Jul 2010 08:14:05 +0200 | haftmann | dropped spurious export_code | changeset | files |
| 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 |
| Wed, 14 Jul 2010 14:53:44 +0200 | haftmann | export_code without file prints to standard output | changeset | files |
| Wed, 14 Jul 2010 14:20:47 +0200 | haftmann | check without explicit path | changeset | files |
| Wed, 14 Jul 2010 14:16:12 +0200 | haftmann | load cache_io before code generator; moved adhoc-overloading to generic tools | changeset | files |
| Wed, 14 Jul 2010 12:27:44 +0200 | haftmann | tuned infix syntax | changeset | files |
| Wed, 14 Jul 2010 12:27:44 +0200 | haftmann | dropped M suffix; added predicate monad bind | changeset | files |
| Wed, 14 Jul 2010 12:27:43 +0200 | haftmann | self-built symbol for part of bind operator | changeset | files |
| Wed, 14 Jul 2010 09:42:44 +0200 | haftmann | redirect stderr to stdout | changeset | files |
| Tue, 13 Jul 2010 21:07:12 +0100 | paulson | merged | changeset | files |
| Tue, 13 Jul 2010 11:27:19 +0100 | paulson | merged | changeset | files |
| Tue, 13 Jul 2010 11:26:16 +0100 | paulson | corrected mixfix declarations and tidied proofs | changeset | files |
| Tue, 13 Jul 2010 17:19:35 +0100 | paulson | merged | changeset | files |