src/TeXmacs/styles/documentation/mmxdoc.ts

   1 <TeXmacs|1.0.7.2>
   2
   3 <style|source>
   4
   5 <\body>
   6   <\active*>
   7     <\src-title>
   8       <src-style-file|mmxdoc|1.0>
   9
  10       <\src-purpose>
  11         Style for the documentation of Mathemagix.
  12       </src-purpose>
  13
  14       <\src-copyright|2003--2004>
  15         Joris van der Hoeven
  16       </src-copyright>
  17
  18       <\src-license>
  19         This software falls under the <hlink|GNU general public license,
  20         version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
  21         WARRANTY WHATSOEVER. You should have received a copy of the license
  22         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>.
  23       </src-license>
  24     </src-title>
  25   </active*>
  26
  27   <use-package|tmdoc|tmdoc-web|varsession>
  28
  29   <\active*>
  30     <\src-comment>
  31       Fragments of mathemagix code.
  32     </src-comment>
  33   </active*>
  34
  35   <assign|mmxweb-main-links|<macro|<style-with|src-compact|none|<tmweb-list|<tmweb-link|Home|index>|<tmweb-link|Download|download>|<tmweb-link|Language|language>|<tmweb-link|Packages|package_list>|<tmweb-link|Develop|develop>|<tmweb-link|Contact|contact>|<tmweb-link|Jobs|jobs>|<hlink|<with|color|brown|<localize|Search>>|http://www.mathemagix.org/search>>>>>
  36
  37   <\active*>
  38     <\src-comment>
  39       Special logical types.
  40     </src-comment>
  41   </active*>
  42
  43   <assign|type|<macro|x|<with|mode|text|font-family|ss|<arg|x>>>>
  44
  45   <assign|andt|<active*|<with|mode|math|<space|0.6spc><wide*|\<wedge\><rsub|>|\<wide-bar\>><space|0.6spc>>>>
  46
  47   <assign|ort|<active*|<with|mode|math|<space|0.6spc><wide*|\<vee\><rsub|>|\<wide-bar\>><space|0.6spc>>>>
  48
  49   <assign|implt|<active*|<with|mode|math|<space|0.6spc><wide*|\<Rightarrow\><rsub|>|\<wide-bar\>><space|0.6spc>>>>
  50
  51   <assign|forallt|<active*|<with|mode|math|<wide*|\<forall\><rsub|>|\<wide-bar\>><space|0.2spc>>>>
  52
  53   <assign|existst|<active*|<with|mode|math|<wide*|\<exists\><rsub|>|\<wide-bar\>><space|0.2spc>>>>
  54
  55   <\active*>
  56     <\src-comment>
  57       Miscellaneous.
  58     </src-comment>
  59   </active*>
  60
  61   <assign|aldor-fragment|<value|scheme-fragment>>
  62
  63   <assign|caml-fragment|<value|scheme-fragment>>
  64
  65   \;
  66 </body>
  67
  68 <\initial>
  69   <\collection>
  70     <associate|language|english>
  71     <associate|preamble|true>
  72   </collection>
  73 </initial>