| 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 |