isabelle: Changelog

wenzelm [Thu, 28 Dec 2017 14:20:48 +0100] rev 67289

clarified signature: prefer Document.Node.Name.is_bibtex;

wenzelm [Thu, 28 Dec 2017 12:44:42 +0100] rev 67288

avoid spurious noise: Prover IDE is meant to check for errors;

wenzelm [Thu, 28 Dec 2017 12:36:11 +0100] rev 67287

clarified signature;

wenzelm [Thu, 28 Dec 2017 12:26:57 +0100] rev 67286

avoid clash with special files in HTML output;

wenzelm [Thu, 28 Dec 2017 12:20:52 +0100] rev 67285

unused;

wenzelm [Thu, 28 Dec 2017 12:13:56 +0100] rev 67284

tuned signature;

wenzelm [Thu, 28 Dec 2017 12:07:52 +0100] rev 67283

prefer existing Resources.check_path;

wenzelm [Thu, 28 Dec 2017 12:06:54 +0100] rev 67282

more accurate bibtex entries;

wenzelm [Thu, 28 Dec 2017 11:49:54 +0100] rev 67281

added command 'bibtex_file' (for PIDE interaction only);

wenzelm [Wed, 27 Dec 2017 11:51:38 +0100] rev 67280

clarified default position for empty message pos;

isabelle