mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Mon, Oct 21, 2002 at 01:22:10AM +0200, David Allouche wrote:
> You may use the omit-proof.tm package attached to this message.
> 
> Copy it to your ~/.TeXmacs/packages/ directory to see it appear in the
> "Document->Use package" menu.

Ahem... I mean, attached to THIS message! :-)

-- 
David Allouche         | GNU TeXmacs -- Writing is a pleasure
Free software engineer |    http://www.texmacs.org
   http://ddaa.net     |    http://alqua.com/tmresources
   address@hidden  |    address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.

<TeXmacs|1.0.0.18>

<\body>
  <assign|proof|<eval|<hold|<macro|x|<expand|<release|<value|proof>>|(Ommited\
  )>>>>>
</body>

<\initial>
  <\collection>
    <associate|preamble|true>
    <associate|paragraph width|150mm>
    <associate|odd page margin|30mm>
    <associate|page right margin|30mm>
    <associate|page top margin|30mm>
    <associate|reduction page right margin|25mm>
    <associate|page type|a4>
    <associate|reduction page bottom margin|15mm>
    <associate|even page margin|30mm>
    <associate|reduction page left margin|25mm>
    <associate|page bottom margin|30mm>
    <associate|reduction page top margin|15mm>
    <associate|language|english>
  </collection>
</initial>