[latexrefman-commits] r483 - in /trunk: ChangeLog latex2e.texi

[jhefferon at domain.hid]

Author: jhefferon
Date: Wed Dec  2 01:39:35 2015
New Revision: 483

URL: http://svn.gna.org/viewcvs/latexrefman?rev=483&view=rev
Log:
\newtheorem

Modified:
    trunk/ChangeLog
    trunk/latex2e.texi

Modified: trunk/ChangeLog
URL: http://svn.gna.org/viewcvs/latexrefman/trunk/ChangeLog?rev=483&r1=482&r2=483&view=diff
==============================================================================
--- trunk/ChangeLog	(original)
+++ trunk/ChangeLog	Wed Dec  2 01:39:35 2015
@@ -1,3 +1,8 @@
+2015-11-29  Jim Hefferon  <jhefferon at domain.hid>
+
+	* latex2e.texi (\newtheorem)  Add case of no optional arguments
+	to synopsis, with summary in body.
+
 2015-11-29  Jim Hefferon  <jhefferon at domain.hid>
 
 	* latex2e.texi (\newcommand and \newenvironment)  Minor wording

Modified: trunk/latex2e.texi
URL: http://svn.gna.org/viewcvs/latexrefman/trunk/latex2e.texi?rev=483&r1=482&r2=483&view=diff
==============================================================================
--- trunk/latex2e.texi	(original)
+++ trunk/latex2e.texi	Wed Dec  2 01:39:35 2015
@@ -5390,42 +5390,38 @@
 
 @cindex theorem-like environment
 @cindex environment, theorem-like
-Define a new @dfn{theorem-like environment}.  Synopses:
-
- at domain.hid
+Define a new theorem-like environment.  Synopses:
+
+ at example
+\newtheorem at domain.hid}@}
 \newtheorem at domain.hid}]
 \newtheorem at domain.hid}@}
 @end example
 
-Both create a theorem-like environment @var{name}.  Using the first
-form,
-
- at domain.hid
-\newtheorem at domain.hid}]
- at domain.hid example
-
- at domain.hid with the optional argument after the second required argument,
+Using the first form, @code{\newtheorem at domain.hid}@}}
+creates an environment that will be labelled with @var{title}.  See the
+first example below.
+
+The second form
+ at code{\newtheorem at domain.hid}]}
 creates an environment whose counter is subordinate to the existing
-counter @var{numbered_within}: it will be reset when
+counter @var{numbered_within} (its counter will be reset when
 @var{numbered_within} is reset).
 
-Using the second form,
-
- at domain.hid
-\newtheorem at domain.hid}@}
- at domain.hid example
-
- at domain.hid with the optional argument between the two required
-arguments, will create an environment whose counter will share the
-previously defined counter @var{numbered_like}.
+
+The third form
+ at code{\newtheorem at domain.hid}@}},
+with optional argument between the two required arguments, will create
+an environment whose counter will share the previously defined counter
+ at var{numbered_like}.
 
 You can specify one of @var{numbered_within} and @var{numbered_like},
 or neither, but not both.
 
 This command creates a counter named @var{name}.  In addition, unless
-the optional argument @var{numbered_like} is used, the current
- at domain.hid} value will be that of @code{\the at domain.hid}}
-(@pxref{\ref}).
+the optional argument @var{numbered_like} is used, inside of the
+theorem-like environment the current @code{\ref} value will be that of
+ at code{\the at domain.hid}} (@pxref{\ref}).
 
 This declaration is global.  It is fragile (@pxref{\protect}).
 
@@ -5457,8 +5453,9 @@
 @end table
 
 Without any optional arguments the environments are numbered
-sequentially.  This example has a declaration in the preamble that
-results in @samp{Definition at domain.hid} and @samp{Definition at domain.hid} in the output.
+sequentially.  The example below has a declaration in the preamble that
+results in @samp{Definition at domain.hid} and @samp{Definition at domain.hid} in the
+output.
 
 @example
 \newtheorem at domain.hid@}
@@ -5474,7 +5471,7 @@
 \end at domain.hid@}
 @end example
 
-Because this example specifies the optional argument
+Because the next example specifies the optional argument
 @var{numbered_within} to @code{\newtheorem} as @code{section}, the
 example, with the same document body, gives @samp{Definition at domain.hid}
 and @samp{Definition at domain.hid}.
@@ -5493,8 +5490,8 @@
 \end at domain.hid@}
 @end example
 
-In this example there are two declarations in the preamble, the second
-of which calls for the new @code{thm} environment to use the same
+In the next example there are two declarations in the preamble, the
+second of which calls for the new @code{thm} environment to use the same
 counter as @code{defn}.  It gives @samp{Definition at domain.hid}, followed
 by @samp{Theorem at domain.hid} and @samp{Definition at domain.hid}.