tuned;
authorwenzelm
Fri Jul 04 20:07:08 2014 +0200 (2014-07-04)
changeset 57511de51a86fc903
parent 57510 8f1dc3b2daa5
child 57512 cc97b347b301
tuned;
ANNOUNCE
     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.