| 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 |
| Fri, 08 Apr 2005 18:43:39 +0200 | paulson | Reconstruction code, now packaged to avoid name clashes | changeset | files |