| Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | reject term variables explicitly | file | diff | annotate |
| Mon, 20 Sep 2010 08:53:37 +0200 | haftmann | made smlnj happy | file | diff | annotate |
| Fri, 17 Sep 2010 10:00:01 +0200 | haftmann | closures preserve static serializer context for static evaluation; tuned | file | diff | annotate |