Wed, 06 Aug 1997 11:57:52 +0200 | wenzelm | use ThySyn.add_syntax; | file | diff | annotate |
Wed, 06 Aug 1997 11:19:59 +0200 | wenzelm | obsolete! | file | diff | annotate |
Wed, 06 Aug 1997 00:39:13 +0200 | berghofe | Replaced "init_thy_reader" by "set_parser". | file | diff | annotate |
Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |