src/plugins/mathemagix/packages/session/mathemagix.ts

   1 <TeXmacs|1.0.7.2>
   2
   3 <style|source>
   4
   5 <\body>
   6   <active*|<\src-title>
   7     <src-package|mathemagix|1.0>
   8
   9     <\src-purpose>
  10       Markup for Mathemagix sessions.
  11     </src-purpose>
  12
  13     <src-copyright|2002--2004|Joris van der Hoeven>
  14
  15     <\src-license>
  16       This software falls under the <hlink|GNU general public license,
  17       version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
  18       WARRANTY WHATSOEVER. You should have received a copy of the license
  19       which the software. If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
  20     </src-license>
  21   </src-title>>
  22
  23   <use-package|tmdoc-markup>
  24
  25   <\active*>
  26     <\src-comment>
  27       Customize input/output fields
  28     </src-comment>
  29   </active*>
  30
  31   <assign|mmx-prompt|<macro|nr|<with|color|red|<arg|nr>]<specific|html|&nbsp;>
  32   >>>
  33
  34   <assign|mmx-prompt|<macro|nr|<with|mode|math|Mmx\<rangle\><specific|html|&nbsp;>
  35   \ >>>
  36
  37   <assign|mmx-prompt|<macro|nr|<with|prog-language|verbatim|Mmx]<specific|html|&nbsp;>
  38   >>>
  39
  40   <assign|mathemagix-input|<macro|prompt|body|<style-with|src-compact|none|<generic-input|<with|color|red|<arg|prompt>>|<with|color|dark
  41   brown|<arg|body>>>>>>
  42
  43   <assign|mathemagix-output|<macro|body|<generic-output|<with|prog-language|verbatim|<arg|body>>>>>
  44
  45   <\active*>
  46     <\src-comment>
  47       Other macros and environments.
  48     </src-comment>
  49   </active*>
  50
  51   <assign|text|<macro|body|<with|mode|text|par-mode|justify|<arg|body>>>>
  52 </body>
  53
  54 <\initial>
  55   <\collection>
  56     <associate|preamble|true>
  57   </collection>
  58 </initial>