isabelle: Changelog

wenzelm [Sat, 30 Dec 2017 14:15:44 +0100] rev 67303

tuned whitespace;

wenzelm [Fri, 29 Dec 2017 21:17:43 +0100] rev 67302

no check for bibtex entries from other sessions;

wenzelm [Fri, 29 Dec 2017 19:53:43 +0100] rev 67301

clarified signature;

wenzelm [Fri, 29 Dec 2017 19:35:26 +0100] rev 67300

more accurate message patterns;

wenzelm [Fri, 29 Dec 2017 19:17:52 +0100] rev 67299

prefer formal citations; more accurate bibtex entries;

wenzelm [Fri, 29 Dec 2017 18:09:38 +0100] rev 67298

proper bibtex entries;

wenzelm [Fri, 29 Dec 2017 17:40:57 +0100] rev 67297

formal check of @{cite} bibtex entries -- only in batch-mode session builds;

wenzelm [Thu, 28 Dec 2017 23:39:02 +0100] rev 67296

clarified check, notably for bibtex theory (amending 5f082b1fa9fa);

wenzelm [Thu, 28 Dec 2017 23:17:35 +0100] rev 67295

NEWS;

wenzelm [Thu, 28 Dec 2017 23:15:00 +0100] rev 67294

proper check for imports, not just ROOT entries;

isabelle