Fri, 16 Apr 2004 18:45:56 +0200 | berghofe | Replaced quote by Library.quote, since quote now refers to Symbol.quote | file | diff | annotate |
Tue, 12 Feb 2002 20:34:02 +0100 | wenzelm | ANTIQUOTE_FAIL; | file | diff | annotate |
Sun, 25 Jun 2000 23:56:47 +0200 | wenzelm | Text with antiquotations of inner items (terms, types etc.). | file | diff | annotate |