# HG changeset patch
# User schirmer
# Date 1126731962 -7200
# Node ID 23b7e14ce640293e78c99e74463d41d306389ada
# Parent  a639d580b34b830ca4e37b1c198300b55a5328b5
... prem19

diff -r a639d580b34b -r 23b7e14ce640 NEWS
--- a/NEWS	Wed Sep 14 23:04:59 2005 +0200
+++ b/NEWS	Wed Sep 14 23:06:02 2005 +0200
@@ -92,7 +92,7 @@
 
 Predefined styles are 'lhs' and 'rhs' printing the lhs/rhs of
 definitions, equations, inequations etc., 'concl' printing only the
-conclusion of a meta-logical statement theorem, and 'prem1' .. 'prem9'
+conclusion of a meta-logical statement theorem, and 'prem1' .. 'prem19'
 to print the specified premise.  TermStyle.add_style provides an ML
 interface for introducing further styles.  See also the "LaTeX Sugar"
 document practical applications.  The ML antiquotation prints