ANNOUNCE

--- a/ANNOUNCE	Sun Jul 01 19:50:33 2018 +0200
+++ b/ANNOUNCE	Sun Jul 01 19:51:04 2018 +0200
@@ -14,7 +14,7 @@
 
 * Various improvements of document preparation.
 
-* Many Isabelle/jEdit improvements, including semantic IDE for Bibtex.
+* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX.
 
 * Numerous HOL library improvements, including HOL-Algebra.