Re: [Texmacs-dev] Formal Proof environment requirements (Draft, RFC)

[David MENTRE]

Hello Karl,

I have read your email and certainly won't code what you request (too
much complicated for me) but as a general remark, it would be nice to
have a TeXmacs document attached to your email that shows what you have
attempted to do and what does not work. A drawing is worth a thousand
words. ;)

Karl Hegbloom <address@hidden> writes:

> I have to fix up the numbering by hand when I check the proof.

Couldn't you define a global counter and a set of macros, something that
you would name <increment-and-display-counter> and <display-counter>, to
display and increment your numbering? At least, when you move a block,
re-numbering would be done automatically.

Best wishes,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A