| Wed, 07 Nov 2018 22:31:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 07 Nov 2018 22:15:03 +0100 | wenzelm | more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex); | changeset | files |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | changeset | files |