Sat, 09 Oct 1999 23:15:40 +0200 | wenzelm | added ISABELLE_BIBTEX; | changeset | files |
Sat, 09 Oct 1999 16:18:16 +0200 | wenzelm | removed 8bit; | changeset | files |
Fri, 08 Oct 1999 17:07:10 +0200 | wenzelm | \isakeyword: italic correction; | changeset | files |