| Tue, 18 Dec 2001 02:20:23 +0100 | wenzelm | improved mixfix_args; | file | diff | annotate |
| Fri, 14 Dec 2001 22:29:51 +0100 | wenzelm | removed special treatment of "_" in syntax (now covered by \<index> arg); | file | diff | annotate |
| Sun, 11 Nov 2001 21:38:04 +0100 | wenzelm | pure_syntax_output: "_meta_conjunction"; | file | diff | annotate |
| Fri, 09 Nov 2001 00:17:52 +0100 | wenzelm | removed pure_sym_syntax; | file | diff | annotate |
| Thu, 08 Nov 2001 00:26:41 +0100 | wenzelm | proper syntax for structs; | file | diff | annotate |
| Wed, 07 Nov 2001 18:18:46 +0100 | wenzelm | syntax for structs; | file | diff | annotate |
| Sun, 28 Oct 2001 22:58:39 +0100 | wenzelm | fixed string_of_mixfix; | file | diff | annotate |
| Wed, 24 Oct 2001 17:31:58 +0200 | wenzelm | added string_of_mixfix; | file | diff | annotate |
| Tue, 02 Oct 2001 20:23:33 +0200 | wenzelm | support non-oriented infix; | file | diff | annotate |
| Sun, 11 Feb 2001 20:38:40 +0100 | wenzelm | added "xsymbols" syntax for "=?="; | file | diff | annotate |
| Tue, 29 Aug 2000 20:15:04 +0200 | wenzelm | added \<dots> syntax; | file | diff | annotate |
| Sat, 04 Sep 1999 21:02:55 +0200 | wenzelm | removed "_BIND" syntax; | file | diff | annotate |
| Thu, 08 Jul 1999 18:30:21 +0200 | wenzelm | aprop: ??id, ...; | file | diff | annotate |
| Wed, 02 Jun 1999 22:25:57 +0200 | wenzelm | "..." syntax; | file | diff | annotate |
| Wed, 14 Apr 1999 11:17:16 +0200 | wenzelm | fixed named type infixes (actual BUG!); | file | diff | annotate |
| Fri, 11 Dec 1998 18:56:30 +0100 | oheimb | added new print_mode "xsymbols" for extended symbol support | file | diff | annotate |
| Tue, 20 Oct 1998 16:30:27 +0200 | wenzelm | no open; | file | diff | annotate |
| Mon, 10 Aug 1998 17:01:40 +0200 | wenzelm | ??id syntax for text variables; | file | diff | annotate |
| Sat, 20 Jun 1998 19:52:53 +0200 | wenzelm | added fix_mixfix; | file | diff | annotate |
| Wed, 13 May 1998 12:20:53 +0200 | wenzelm | pure_nonterms; | file | diff | annotate |
| Wed, 22 Apr 1998 19:09:44 +0200 | wenzelm | added no_syn; | file | diff | annotate |
| Mon, 09 Mar 1998 16:10:38 +0100 | wenzelm | Symbol.explode; | file | diff | annotate |
| Wed, 05 Nov 1997 11:40:23 +0100 | wenzelm | added TYPE syntax; | file | diff | annotate |
| Fri, 31 Oct 1997 15:20:20 +0100 | wenzelm | added mixfix_args; | file | diff | annotate |
| Fri, 10 Oct 1997 15:47:41 +0200 | wenzelm | added longid syntax; | file | diff | annotate |
| Thu, 09 Oct 1997 14:55:24 +0200 | wenzelm | fixed infix syntax; | file | diff | annotate |
| Mon, 22 Sep 1997 17:29:42 +0200 | wenzelm | fixed idt/idts vs. pttrn/pttrns; | file | diff | annotate |
| Thu, 24 Apr 1997 10:39:00 +0200 | oheimb | changed priority of '%': now no parenteses needed for '[...] == %x. [...]' | file | diff | annotate |
| Fri, 07 Mar 1997 15:29:46 +0100 | wenzelm | added \<Colon> syntax for constraints (more compact!); | file | diff | annotate |
| Fri, 28 Feb 1997 16:41:49 +0100 | wenzelm | added _mk_ofclass(S); | file | diff | annotate |