isabelle: File revisions

src/Pure/Thy/bibtex.ML

Wed, 20 May 2020 20:45:43 +0200	wenzelm	clarified modules;	file \| diff \| annotate
Tue, 27 Nov 2018 21:07:39 +0100	wenzelm	more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;	file \| diff \| annotate
Thu, 18 Jan 2018 21:41:30 +0100	wenzelm	clarified access to antiquotation options;	file \| diff \| annotate
Tue, 09 Jan 2018 15:40:12 +0100	wenzelm	clarified modules;	file \| diff \| annotate
Fri, 29 Dec 2017 19:53:43 +0100	wenzelm	clarified signature;	file \| diff \| annotate
Fri, 29 Dec 2017 17:40:57 +0100	wenzelm	formal check of @{cite} bibtex entries -- only in batch-mode session builds;	file \| diff \| annotate
Wed, 27 Dec 2017 11:51:38 +0100	wenzelm	clarified default position for empty message pos;	file \| diff \| annotate
Sun, 24 Dec 2017 14:10:41 +0100	wenzelm	check bibtex database on ML side -- for semantic PIDE editing;	file \| diff \| annotate
Sun, 24 Dec 2017 13:07:05 +0100	wenzelm	clarified directories;	file \| diff \| annotate \| base

isabelle