| Mon, 19 Jul 2010 08:59:43 +0200 | haftmann | bind and then latex symbols | changeset | files |
| Sun, 18 Jul 2010 17:56:04 +0200 | wenzelm | minor update of dependencies; | changeset | files |
| Fri, 16 Jul 2010 15:28:23 +0200 | haftmann | corrected range chec | changeset | files |
| Fri, 16 Jul 2010 15:28:22 +0200 | haftmann | first roughly working version of Imperative HOL for Scala | changeset | files |
| Fri, 16 Jul 2010 14:11:08 +0200 | haftmann | tuned | changeset | files |
| Fri, 16 Jul 2010 13:58:37 +0200 | haftmann | merged | changeset | files |
| Fri, 16 Jul 2010 13:58:29 +0200 | haftmann | a first sketch for Imperative HOL witht Scala | changeset | files |
| Fri, 16 Jul 2010 13:57:46 +0200 | haftmann | don't fail gracefully | changeset | files |
| Fri, 16 Jul 2010 13:57:29 +0200 | haftmann | restored long-broken syntax sanity checks | changeset | files |
| 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 |