Wed, 07 Nov 2018 22:31:56 +0100 wenzelm clarified signature;
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);
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip