Fri, 19 Aug 1994 15:35:56 +0200 | wenzelm | minor cleanings; | file | diff | annotate |
Thu, 14 Jul 1994 11:37:08 +0200 | wenzelm | changed syntax "(| _ : _ |)" to "OFCLASS(_, _)"; | file | diff | annotate |
Thu, 19 May 1994 16:16:36 +0200 | wenzelm | support for new style mixfix annotations; | file | diff | annotate |