Mon, 18 Dec 2006 08:21:35 +0100 | haftmann | switched argument order in *.syntax lifters | file | diff | annotate |
Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Mon, 14 Aug 2006 11:13:50 +0200 | chaieb | Reification now handels binders. | file | diff | annotate |
Thu, 03 Aug 2006 15:03:05 +0200 | wenzelm | Generic reflection and reification (by Amine Chaieb). | file | diff | annotate |