mailing-list for TeXmacs Users

[Lionel Elie Mamane <address@hidden>]

On Tue, Aug 08, 2006 at 02:09:34PM +0200, Joris van der Hoeven wrote:
> On Tue, Aug 08, 2006 at 09:22:16AM +0200, Lionel Elie Mamane wrote:

>>  I'd like my code to get notified (and be able to do stuff) when text
>>  in an <input> of a Coq session is modified / deleted, as well as when
>>  a whole <input> or a whole Coq <session> is deleted (or cut) or
>>  pasted. Is there any way to do this in TeXmacs currently, or would it
>>  be rather straightforward to add (as in, you can roughly delineate
>>  how to do it, and I could do it without being intimate with the
>>  TeXmacs internals)? What I'd like is to be able to register a "hook"
>>  (a scheme function) that gets called when the described event
>>  happens.

>> The reason I want this is:

>>  tmEgg tries to enforce that, were one to save the document, exit
>>  TeXmacs, start a new TeXmacs and reopen the same document, one would
>>  get the same results by executing the Coq commands in the document.

> The best way to achieve this is probably to use linking in a more
> extensive manner. Basically, I recommend to store the whole Coq
> session in some invisible part of the document (or in scheme
> variables) and refer to the inputs and outputs by links.

I'm not sure what you are talking about. The only "link" thing I can
think of in TeXmacs is the "include that .tm file as a subdocument of
this one" stuff. But then the user cannot edit the subdocument from
the master document. You seem to suggest that instead of linking to an
external file, I can link to a scheme variable or another hidden part
in the same document. But can I get past the "no editing" limitation?

-- 
Lionel