| Fri, 26 Oct 2007 19:58:32 +0200 | wenzelm | replaced Secure.evaluate by ML_Context.evaluate; | file | diff | annotate |
| Thu, 25 Oct 2007 13:52:05 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 22 Oct 2007 16:54:54 +0200 | haftmann | clarified Haskell qualification heuristics | file | diff | annotate |
| Thu, 18 Oct 2007 16:09:39 +0200 | haftmann | CRITICAL evaluation | file | diff | annotate |
| Fri, 12 Oct 2007 08:20:45 +0200 | haftmann | code_include replaces code_moduleprolog | file | diff | annotate |
| Tue, 09 Oct 2007 17:10:38 +0200 | wenzelm | renamed AxClass.get_definition to AxClass.get_info (again); | file | diff | annotate |
| Mon, 08 Oct 2007 22:03:31 +0200 | haftmann | moved translation kernel to CodeThingol | file | diff | annotate |