Thanks!
--
Phil Viton
Ohio State University
I'm not sure if I got you right:
In the main-text you have proclamations.
In the appendix, you want to restate the proclamations and
add proofs to them.
Back in 2008 I wrote a small package "theolab". That name
is a seven-letter-abbreviation for "theorem" and "label".
You can provide labels/names to instances of theorem-environments
for later restating them by means of another macro whose
name is \restatetheorem.
There is also a macro \restatecases which makes it possible to
have material added (e.g., a proof) only when a theorem is restated.
The package+documentation is in the attached file "theolab.sty".
proclamations.tex is an example on how you could use theolab for
maintaining proclamations and a command \listofproclamations
similar to \tableofcontents for restating everything and adding proofs
to the restated material.
theolab is highly experimental. I give no warranties.
In case you decide to use it, don't trust the thing and make sure that
the result is what you want.
Ulrich
Yes, that's what I meant. Meantime, I discovered that I could reset the
theorem numbers (and numbers for all proclamations that depend on
theorems) by \setcounter{thm}{0} at the beginning of the proofs section.
Still, your solution looks much more interesting: at least on my
newsreader the attachments didn't make it, but I found them (i think) on
an archive of the newsgroup, based on your response last May to EM
Reingold. I'll give them a try; thanks!
--
Philip A. Viton
Ohio State University
> at least on my
> newsreader the attachments didn't make it,
What does that mean?
Could you not obtain the attachments or did the attempt of compiling
them yield erroneous behavior?
> but I found them (i think) on
> an archive of the newsgroup, based on your response last May to EM
> Reingold. I'll give them a try; thanks!
You can get my previous posting plus file-attachments from google-groups.
The URL is:
http://groups.google.de/group/comp.text.tex/msg/292ecd2bddb3a942
Sincerely
Ulrich
Wht I meant was that though your message said that there were
attachments, they didn't actually seem to be there - just a
line of text naming the files. But I did get them (I think)
from an archive, more-or-less as you suggest.