ANNOUNCE
changeset 57511 de51a86fc903
parent 57505 63e2163c4736
child 57524 b8448367f9c7
     1.1 --- a/ANNOUNCE	Fri Jul 04 17:41:35 2014 +0200
     1.2 +++ b/ANNOUNCE	Fri Jul 04 20:07:08 2014 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  * HOL: numerous library enhancements: main HOL, HOL-Word,
     1.5    HOL-Multivariate_Analysis, HOL-Probability.
     1.6  
     1.7 -* System integration: improved support of LateX on Windows platform.
     1.8 +* System integration: improved support of LaTeX on Windows platform.
     1.9  
    1.10  * Updated and extended manuals: codegen, datatypes, implementation,
    1.11    isar-ref, jedit, system.