Chronological Thread 

< Chronological >      < Thread >

---

On Mon, Oct 30, 2006 at 07:39:40AM +0100, Lionel Elie Mamane wrote:
> > Yes, extern seems a reasonable thing to use, (...). Notice however
> > that this is not necessarily what you want in all circumstances:
> > don't forget the case that someone without Coq wants to open a Coq
> > document in the same state that you left it, without wanting to
> > (re)do any computations.
>
> Yes, yes. That's why I leave the content of the output nodes in the
> document: someone without Coq can follow the operations without
> redoing them.

But in that case a similar argument holds for the colour of the prompt,
even though this information seems a bit more versatile.
As a general rule, I recommend to let the rendering of a document
depend as least as possible (not at all ?) on extern computational software
(it might depend on external renderers of course).

Best wishes, Joris

---

• Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/24/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/24/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/25/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Henri Lesourd, 10/25/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/26/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Joris van der Hoeven, 10/29/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/30/2006
      • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Joris van der Hoeven, 10/30/2006
        • Prompt colours in tmEgg [was: Forcing refresh of rendering of a document fragment], Lionel Elie Mamane, 10/30/2006

---

Archive powered by MHonArc 2.6.19.