[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: David MENTRE
Subject: Re: [Texmacs-dev] Formal Proof environment requirements (Draft, RFC)
Date: Sat, 18 Feb 2006 22:08:36 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

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,
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]