"Fossies" - the Fresh Open Source Software Archive

Member "TeXmacs-2.1.2-src/TeXmacs/styles/article/ams/amsart.ts" (5 May 2022, 7853 Bytes) of package /linux/misc/TeXmacs-2.1.2-src.tar.gz:

As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) TypeScript source code syntax highlighting (style: standard) with prefixed line numbers and code folding option. Alternatively you can here view or download the uninterpreted source code file. See also the latest Fossies "Diffs" side-by-side code changes report for "amsart.ts": 2.1.1_vs_2.1.2.

A hint: This file contains one or more very long lines, so maybe it is better readable using the pure text view mode that shows the contents as wrapped lines within the browser window.

    1 <TeXmacs|2.1.1>
    2 
    3 <style|source>
    4 
    5 <\body>
    6   <\active*>
    7     <\src-title>
    8       <src-style-file|amsart|1.0>
    9 
   10       <\src-purpose>
   11         The amsart style.
   12       </src-purpose>
   13 
   14       <\src-copyright|2002--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|std|env|title-generic|header-article|section-article|std-latex>
   28 
   29   <\active*>
   30     <\src-comment>
   31       Global style parameters.
   32     </src-comment>
   33   </active*>
   34 
   35   <assign|tex-text-width|<macro|30pc>>
   36 
   37   <assign|tex-odd-side-margin|<macro|<minus|<maximum|<over|<minus|1paw|<tex-text-width>>|2>|1.5in>|1in>>>
   38 
   39   <assign|tex-even-side-margin|<value|tex-odd-side-margin>>
   40 
   41   <assign|tex-head-height|<macro|8pt>>
   42 
   43   <assign|tex-top-skip|<macro|10pt>>
   44 
   45   <assign|tex-text-height|<macro|50.5pc>>
   46 
   47   <assign|tex-foot-skip|<macro|12pt>>
   48 
   49   <assign|tex-column-sep|<macro|10pt>>
   50 
   51   <assign|tex-margin-par-width|<macro|90pt>>
   52 
   53   <assign|par-first|<macro|12pt>>
   54 
   55   <assign|page-fnote-barlen|6em>
   56 
   57   <\active*>
   58     <\src-comment>
   59       Footnotes for titles and abstracts.
   60     </src-comment>
   61   </active*>
   62 
   63   <assign|render-plain-footnote|<macro|body|<style-with|src-compact|none|<\float|footnote|>
   64     <\style-with|src-compact|none>
   65       <smaller|<with|par-mode|justify|par-left|0cm|par-right|0cm|font-shape|right|dummy|<value|page-fnote-sep>|dummy|<value|page-fnote-barlen>|<style-with|src-compact|none|<style-with|src-compact|none|<arg|body>>>>>
   66     </style-with>
   67   </float>>>>
   68 
   69   <\active*>
   70     <\src-comment>
   71       Titles.
   72     </src-comment>
   73   </active*>
   74 
   75   <assign|doc-title-name|<macro|x|<strong|<change-case|<arg|x>|UPCASE>>>>
   76 
   77   <assign|doc-title|<\macro|x>
   78     \;
   79 
   80     <\surround|<vspace*|<minus|<tex-len|42pt|5pc|5pc>|1bls>>|>
   81       <doc-title-block|<doc-title-name|<arg|x>>>
   82     </surround>
   83   </macro>>
   84 
   85   <assign|author-name|<macro|author|<surround|<vspace*|<minus|18pt|1em>>||<doc-author-block|<small|<change-case|<arg|author>|UPCASE>>>>>>
   86 
   87   \;
   88 
   89   <assign|date-text|<macro|<localize|Date>>>
   90 
   91   <assign|note-text|<macro|<localize|Note>>>
   92 
   93   <assign|email-text|<macro|<localize|E-mail address>>>
   94 
   95   <assign|homepage-text|<macro|<localize|Homepage>>>
   96 
   97   <assign|doc-date|<macro|x|<surround|<em|<date-text>><localize|:>
   98   ||<arg|x>>>>
   99 
  100   <assign|doc-note|<macro|x|<surround|<em|<note-text>><localize|:>
  101   ||<arg|x>>>>
  102 
  103   <assign|author-affiliation|<macro|x|<quasi|<concat-tuple|<unquote|<arg|x>>|,
  104   >>>>
  105 
  106   <assign|prepend-comma|<macro|x|, <arg|x>>>
  107 
  108   <assign|author-affiliation|<macro|x|<with|font-shape|small-caps|<arg|x|0><map-args|prepend-comma|concat|x|1>>>>
  109 
  110   <assign|author-email|<macro|x|<surround|<em|<email-text>><localize|:>
  111   ||<verbatim|<arg|x>>>>>
  112 
  113   <assign|author-homepage|<macro|x|<surround|<em|<homepage-text>><localize|:>
  114   ||<verbatim|<arg|x>>>>>
  115 
  116   <assign|author-note|<macro|x|<surround|<em|<note-text>><localize|:>
  117   ||<arg|x>>>>
  118 
  119   <assign|author-misc|<macro|x|<arg|x>>>
  120 
  121   \;
  122 
  123   <assign|doc-data|<xmacro|args|<extern|doc-data|<quote-arg|args>|<tuple|ams-title>>>>
  124 
  125   <\active*>
  126     <\src-comment>
  127       Abstracts.
  128     </src-comment>
  129   </active*>
  130 
  131   <assign|render-abstract|<\macro|body>
  132     <\padded-normal|20pt|20pt>
  133       <\with|par-left|3pc|par-right|3pc>
  134         <\small>
  135           <surround|<with|font-shape|small-caps|<abstract-text>>.
  136           ||<arg|body>>
  137         </small>
  138       </with>
  139     </padded-normal>
  140   </macro>>
  141 
  142   \;
  143 
  144   <assign|AMS-class-text|<macro|<localize|Mathematics Subject
  145   Classification>>>
  146 
  147   <assign|keywords-text|<macro|<localize|Key words and phrases>>>
  148 
  149   <assign|abstract-acm|<xmacro|args|<em|<ACM-class-text>>.
  150   <concat-tuple|<quote-arg|args>|; >>>
  151 
  152   <assign|abstract-arxiv|<xmacro|args|<em|<arXiv-class-text>>.
  153   <concat-tuple|<map|arxiv-ref|<quote-arg|args>>|; >>>
  154 
  155   <assign|abstract-msc|<xmacro|args|1991 <em|<AMS-class-text>>.
  156   <concat-tuple|<map|msc-ref|<quote-arg|args>>|; >>>
  157 
  158   <assign|abstract-pacs|<xmacro|args|<em|<PACS-class-text>>.
  159   <concat-tuple|<quote-arg|args>|; >>>
  160 
  161   <assign|abstract-keywords|<xmacro|args|<em|<keywords-text>>.
  162   <concat-tuple|<quote-arg|args>|, >>>
  163 
  164   \;
  165 
  166   <assign|render-abstract*|<\macro|body|note>
  167     <\quasi>
  168       <\render-abstract>
  169         <\surround|<render-plain-footnote|<unquote|<quote-arg|note>>>|>
  170           <unquote|<quote-arg|body>>
  171         </surround>
  172       </render-abstract>
  173     </quasi>
  174   </macro>>
  175 
  176   <\active*>
  177     <\src-comment>
  178       Headers.
  179     </src-comment>
  180   </active*>
  181 
  182   <assign|header-title|<macro|name|<style-with|src-compact|none|<simple-page><assign|page-odd-header|<with|font-size|0.707|<style-with|src-compact|none|<no-indent><htab|0mm><change-case|<arg|name>|UPCASE><htab|5mm><page-number>>>>>>>
  183 
  184   <assign|header-author|<macro|name|<assign|page-even-header|<with|font-size|0.707|<style-with|src-compact|none|<no-indent><page-number><htab|5mm><change-case|<arg|name>|UPCASE><htab|0mm>>>>>>
  185 
  186   <assign|header-primary|<macro|name|nr|what|>>
  187 
  188   <assign|header-secondary|<macro|name|nr|what|>>
  189 
  190   <assign|simple-page|<macro|<style-with|src-compact|none|<assign|page-this-header|><assign|page-this-footer|<no-indent><htab|5mm><with|font-size|0.707|<page-number>><htab|5mm>>>>>
  191 
  192   <\active*>
  193     <\src-comment>
  194       Sections.
  195     </src-comment>
  196   </active*>
  197 
  198   <assign|sectional-sep|<macro|.<space|2spc>>>
  199 
  200   <assign|sectional-post-sep|<macro|. >>
  201 
  202   <assign|part-post-sep|<macro|>>
  203 
  204   <assign|chapter-post-sep|<macro|>>
  205 
  206   <assign|section-post-sep|<macro|>>
  207 
  208   <assign|enrich-subsection-long|false>
  209 
  210   <assign|enrich-subsubsection-long|false>
  211 
  212   \;
  213 
  214   <assign|sectional-normal|<macro|name|<wide-normal|<arg|name><no-page-break>>>>
  215 
  216   <assign|sectional-centered|<macro|name|<wide-centered|<arg|name><no-page-break>>>>
  217 
  218   <assign|part-title|<macro|name|<style-with|src-compact|none|<sectional-normal-bold|<vspace*|<tmlen|1bls|1bls|2bls>><arg|name><vspace|0.5bls>>>>>
  219 
  220   <assign|chapter-title|<macro|name|<style-with|src-compact|none|<sectional-centered-bold|<vspace*|<tmlen|1bls|1bls|2bls>><arg|name><vspace|0.5bls>>>>>
  221 
  222   <assign|section-title|<macro|name|<style-with|src-compact|none|<sectional-centered|<vspace*|<tmlen|0.7bls|0.7bls|1.7bls>><with|font-shape|small-caps|<arg|name>><vspace|0.5bls>>>>>
  223 
  224   <\active*>
  225     <\src-comment>
  226       Subections and subsubsections.
  227     </src-comment>
  228   </active*>
  229 
  230   <assign|subsection-title|<macro|name|<with|sectional-prefixed|<macro|prefix|name|<prefixed-line|<with|font-series|medium|<arg|prefix>>|<arg|name>>>|<style-with|src-compact|none|<sectional-short-bold|<vspace*|<tmlen|0.5bls|0.5bls|1.2bls>><arg|name>>>>>>
  231 
  232   <assign|subsubsection-title|<macro|name|<with|sectional-prefixed|<macro|prefix|name|<prefixed-line|<with|font-shape|right|<arg|prefix>>|<arg|name>>>|<style-with|src-compact|none|<sectional-short-italic|<vspace*|<tmlen|0.5bls|0.5bls|1.2bls>><arg|name>>>>>>
  233 
  234   <\active*>
  235     <\src-comment>
  236       Paragraphs.
  237     </src-comment>
  238   </active*>
  239 
  240   <assign|paragraph-title|<macro|name|<sectional-short|<arg|name>>>>
  241 
  242   <assign|subparagraph-title|<macro|name|<sectional-short|<arg|name>>>>
  243 
  244   <\active*>
  245     <\src-comment>
  246       Bibliographies.
  247     </src-comment>
  248   </active*>
  249 
  250   <assign|transform-bibitem|<macro|body|[<arg|body>] >>
  251 
  252   <\active*>
  253     <\src-comment>
  254       Theorems.
  255     </src-comment>
  256   </active*>
  257 
  258   <assign|large-padding-above|0.6666fn>
  259 
  260   <assign|large-padding-below|0.6666fn>
  261 
  262   <assign|remark-name|<macro|name|<with|font-shape|italic|<arg|name>>>>
  263 </body>
  264 
  265 <\initial>
  266   <\collection>
  267     <associate|preamble|true>
  268   </collection>
  269 </initial>