| Wed, 01 Sep 2010 11:09:50 +0200 | haftmann | do not print object frame around Scala includes -- this is in the responsibility of the user | file | diff | annotate |
| Thu, 26 Aug 2010 10:16:22 +0200 | haftmann | code_include Scala: qualify module nmae | file | diff | annotate |
| Mon, 26 Jul 2010 11:09:44 +0200 | haftmann | use Natural as index type for Haskell and Scala | file | diff | annotate |
| Fri, 16 Jul 2010 15:28:22 +0200 | haftmann | first roughly working version of Imperative HOL for Scala | file | diff | annotate |
| Fri, 16 Jul 2010 13:58:29 +0200 | haftmann | a first sketch for Imperative HOL witht Scala | file | diff | annotate |
| Wed, 14 Jul 2010 17:15:58 +0200 | haftmann | repaired some implementations of imperative operations | file | diff | annotate |
| Wed, 14 Jul 2010 16:45:29 +0200 | haftmann | repaired of_list implementation for SML, OCaml | file | diff | annotate |