Thu, 21 Dec 2017 22:41:57 +0100 | wenzelm | isabelle.preview presents bibtex database files as well; | changeset | files |
Thu, 21 Dec 2017 22:38:28 +0100 | wenzelm | clarified signature; | changeset | files |
Thu, 21 Dec 2017 22:07:30 +0100 | wenzelm | isabelle.preview presents auxiliary text files as well; | changeset | files |