tuned;
authorwenzelm
Sun Jul 01 19:51:04 2018 +0200 (11 months ago)
changeset 68560ad079be4f21c
parent 68559 a059271424d0
child 68562 1ab1f1681263
tuned;
ANNOUNCE
     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