| Thu, 28 Dec 2017 14:20:48 +0100 | wenzelm | clarified signature: prefer Document.Node.Name.is_bibtex; | changeset | files |
| Thu, 28 Dec 2017 12:44:42 +0100 | wenzelm | avoid spurious noise: Prover IDE is meant to check for errors; | changeset | files |
| Thu, 28 Dec 2017 12:36:11 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 28 Dec 2017 12:26:57 +0100 | wenzelm | avoid clash with special files in HTML output; | changeset | files |
| Thu, 28 Dec 2017 12:20:52 +0100 | wenzelm | unused; | changeset | files |
| Thu, 28 Dec 2017 12:13:56 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 28 Dec 2017 12:07:52 +0100 | wenzelm | prefer existing Resources.check_path; | changeset | files |