Thu, 02 Oct 1997 22:54:00 +0200 | wenzelm | fully qualified names: Theory.add_XXX; | file | diff | annotate |
Wed, 06 Aug 1997 11:57:20 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |