~ubuntu-branches/ubuntu/hardy/texmacs/hardy

<TeXmacs|1.0.1.20>

 

<\body>

  <assign|axiom-input|<macro|prompt|body|<expand|generic-input|<resize|<arg|prompt>|||1.75fn||>|<arg|body>>>>

 

  <assign|axiom-output|<macro|body|<surround|<vspace*|1fn>|<vspace|1fn>|<with|left

  margin|<plus|<apply|left margin>|1.75fn>|<expand|generic-output*|<arg|body>>>>>>

 

  \;

 

  <assign|leqno|<func|<htab|5mm>>>

 

  <assign|axiomtype|<func|type|<vspace*|0.5fn><apply|hflush><with|color|brown|Type:

  <apply|type>>>>

 

  \;

</body>

 

<\initial>

  <\collection>

    <associate|preamble|true>

    <associate|odd page margin|30mm>

    <associate|paragraph width|150mm>

    <associate|shrinking factor|4>

    <associate|page right margin|30mm>

    <associate|page top margin|30mm>

    <associate|reduction page right margin|25mm>

    <associate|reduction page bottom margin|15mm>

    <associate|page type|a4>

    <associate|reduction page left margin|25mm>

    <associate|even page margin|30mm>

    <associate|page bottom margin|30mm>

    <associate|reduction page top margin|15mm>

  </collection>

</initial>