# HG changeset patch
# User wenzelm
# Date 967651520 -7200
# Node ID f25ac7194f7148567a7f8b8c2b52b9cd0d3a49b6
# Parent  a09f4a7acceab2e2d42dda25680e27430725c193
tuned;

diff -r a09f4a7accea -r f25ac7194f71 NEWS
--- a/NEWS	Wed Aug 30 17:55:12 2000 +0200
+++ b/NEWS	Wed Aug 30 18:05:20 2000 +0200
@@ -84,9 +84,9 @@
 *** Document preparation ***
 
 * formal comments (text blocks etc.) in new-style theories may now
-contain antiquotations of thm/prop/term/typ to be presented according
-to latex print mode; concrete syntax is like this: @{term[show_types]
-"f(x) = a + x"};
+contain antiquotations of thm/prop/term/typ/text to be presented
+according to latex print mode; concrete syntax is like this:
+@{term[show_types] "f(x) = a + x"};
 
 * isatool mkdir provides easy setup of Isabelle session directories,
 including proper document sources;