ANNOUNCE
changeset 68560 ad079be4f21c
parent 68545 7922992c99ea
child 68567 b408728a002a
     1.1 --- a/ANNOUNCE	Sun Jul 01 19:50:33 2018 +0200
     1.2 +++ b/ANNOUNCE	Sun Jul 01 19:51:04 2018 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  * Various improvements of document preparation.
     1.6  
     1.7 -* Many Isabelle/jEdit improvements, including semantic IDE for Bibtex.
     1.8 +* Many Isabelle/jEdit improvements, including semantic IDE for BibTeX.
     1.9  
    1.10  * Numerous HOL library improvements, including HOL-Algebra.
    1.11