Sat, 09 Apr 2005 15:36:02 +0200 | wenzelm | thmref: selection syntax; | changeset | files |
Sat, 09 Apr 2005 15:35:37 +0200 | wenzelm | update syntax of 'where' and 'of'; | changeset | files |
Sat, 09 Apr 2005 15:34:38 +0200 | wenzelm | added PDF_VIEWER, ISABELLE_DOC_FORMAT; | changeset | files |