src/TeXmacs/packages/environment/env-base.ts

   1 <TeXmacs|1.0.7.5>
   2
   3 <style|source>
   4
   5 <\body>
   6   <active*|<\src-title>
   7     <src-package|env-base|1.0>
   8
   9     <\src-purpose>
  10       Managing groups of environments.
  11     </src-purpose>
  12
  13     <src-copyright|1998--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   <\active*>
  24     <\src-comment>
  25       Groups and counters for all standard environments.
  26     </src-comment>
  27   </active*>
  28
  29   <new-counter-group|std-env>
  30
  31   <new-counter-group|theorem-env>
  32
  33   <add-to-counter-group|theorem-env|std-env>
  34
  35   <group-common-counter|theorem-env>
  36
  37   <new-counter-group|exercise-env>
  38
  39   <add-to-counter-group|exercise-env|std-env>
  40
  41   <group-individual-counters|exercise-env>
  42
  43   <new-counter-group|figure-env>
  44
  45   <add-to-counter-group|figure-env|std-env>
  46
  47   <group-individual-counters|figure-env>
  48
  49   <add-to-counter-group|equation|std-env>
  50
  51   <add-to-counter-group|footnote|std-env>
  52
  53   <assign|resetstdenv|<macro|<reset-std-env>>>
  54
  55   <\active*>
  56     <\src-comment>
  57       Defining new block environments with one parameter.
  58     </src-comment>
  59   </active*>
  60
  61   <assign|new-env|<macro|env|name|group|render|<quasi|<style-with|src-compact|none|<add-to-counter-group|<unquote|<arg|env>>|<unquote|<arg|group>>><assign|<unquote|<merge|<arg|env>|-text>>|<macro|<localize|<unquote|<arg|name>>>>><assign|<unquote|<merge|<arg|env>|-numbered>>|<macro|text|num|<arg|text>
  62   <with|font-shape|right|<arg|num>>>><assign|<unquote|<merge|<arg|env>|-unnumbered>>|<macro|text|<arg|text>>><assign|<unquote|<arg|env>>|<\macro|body>
  63     <surround|<compound|<unquote|<merge|next-|<arg|env>>>>||<style-with|src-compact|none|<compound|<unquote|<arg|render>>|<style-with|src-compact|none|<compound|<unquote|<merge|<arg|env>|-numbered>>|<compound|<unquote|<merge|<arg|env>|-text>>>|<compound|<unquote|<merge|the-|<arg|env>>>>>>|<arg|body>>>>
  64   </macro>><assign|<unquote|<merge|<arg|env>|*>>|<\macro|body>
  65     <style-with|src-compact|none|<compound|<unquote|<arg|render>>|<style-with|src-compact|none|<compound|<unquote|<merge|<arg|env>|-unnumbered>>|<compound|<unquote|<merge|<arg|env>|-text>>>>>|<arg|body>>>
  66   </macro>>>>>>
  67
  68   <assign|new-theorem|<macro|env|name|<new-env|<arg|env>|<arg|name>|theorem-env|render-theorem>>>
  69
  70   <assign|new-remark|<macro|env|name|<new-env|<arg|env>|<arg|name>|theorem-env|render-remark>>>
  71
  72   <assign|new-exercise|<macro|env|name|<new-env|<arg|env>|<arg|name>|exercise-env|render-exercise>>>
  73
  74   <\active*>
  75     <\src-comment>
  76       Defining new figure-like environments.
  77     </src-comment>
  78   </active*>
  79
  80   <assign|new-figure|<macro|env|name|<quasi|<style-with|src-compact|none|<add-to-counter-group|<unquote|<arg|env>>|figure-env><assign|<unquote|<merge|<arg|env>|-text>>|<macro|<localize|<unquote|<arg|name>>>>><assign|<unquote|<merge|small-|<arg|env>>>|<macro|body|caption|<style-with|src-compact|none|<compound|<unquote|<merge|next-|<arg|env>>>><style-with|src-compact|none|<render-small-figure|<unquote|<arg|env>>|<style-with|src-compact|none|<compound|<unquote|<merge|<arg|env>|-text>>>
  81   <compound|<unquote|<merge|the-|<arg|env>>>>>|<arg|body>|<arg|caption>>>>>><assign|<unquote|<merge|small-|<arg|env>|*>>|<macro|body|caption|<style-with|src-compact|none|<render-small-figure|<unquote|<arg|env>>|<compound|<unquote|<merge|<arg|env>|-text>>>|<arg|body>|<arg|caption>>>>><assign|<unquote|<merge|big-|<arg|env>>>|<\macro|body|caption>
  82     <surround|<compound|<unquote|<merge|next-|<arg|env>>>>||<style-with|src-compact|none|<render-big-figure|<unquote|<arg|env>>|<style-with|src-compact|none|<compound|<unquote|<merge|<arg|env>|-text>>>
  83     <compound|<unquote|<merge|the-|<arg|env>>>>>|<arg|body>|<arg|caption>>>>
  84   </macro>><assign|<unquote|<merge|big-|<arg|env>|*>>|<\macro|body|caption>
  85     <style-with|src-compact|none|<render-big-figure|<unquote|<arg|env>>|<compound|<unquote|<merge|<arg|env>|-text>>>|<arg|body>|<arg|caption>>>
  86   </macro>>>>>>
  87
  88   \;
  89 </body>
  90
  91 <\initial>
  92   <\collection>
  93     <associate|preamble|true>
  94   </collection>
  95 </initial>