mirror of https://github.com/texmacs/doc.git
176 lines
6.3 KiB
Plaintext
176 lines
6.3 KiB
Plaintext
|
<TeXmacs|1.0.1.10>
|
|||
|
|
|
|||
|
|
<style|tmdoc>
|
|||
|
|
|
|||
|
|
<\body>
|
|||
|
|
<expand|tmdoc-title|Environnements th<74>or<6F>mes>
|
|||
|
|
|
|||
|
|
Le d.t.d. <tmdtd|env-theorem> \ d<>finit les balises d'affichage des
|
|||
|
|
environnements th<74>or<6F>mes. Les balises principales sont les suivantes :
|
|||
|
|
|
|||
|
|
<\description>
|
|||
|
|
<expand|item*|<markup|theorem*>>Macro d'affichage des environnements
|
|||
|
|
th<74>or<6F>mes. Le premier argument donne le nom du th<74>or<6F>me, tel
|
|||
|
|
<space|0.2spc>Th<54>or<6F>me 1.2<space|0.2spc> et le second argument est le
|
|||
|
|
corps du th<74>or<6F>me. Cet environnement est utilis<69> par les environnements
|
|||
|
|
d<>finis avec <markup|newtheorem>.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|remark*>>Identique <20> <markup|theorem*> pour les
|
|||
|
|
environnements remarques.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|exercise*>>Identique <20> <markup|theorem*> pour les
|
|||
|
|
environnements exercices.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|proof*>>Identique <20> <markup|theorem*> pour les
|
|||
|
|
d<>monstrations. Cet environnement est principalement utilis<69> pour
|
|||
|
|
personnaliser le nom d'une d<>monstration, comme dans <space|0.2spc>Fin
|
|||
|
|
de la d<>monstration du th<74>or<6F>me 1.2<space|0.2spc>.\
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|dueto>>Environnement qui peut <20>tre utilis<69> pour
|
|||
|
|
indiquer des auteurs d'un th<74>or<6F>me.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|corollary*>>Pour les corollaires non num<75>rot<6F>s. Cet
|
|||
|
|
environnement se base sur <markup|theorem*>.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|proof>>Pour la d<>monstration des th<74>or<6F>mes. Cet
|
|||
|
|
environnement se base sur <markup|proof*>.
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
Les balises suivantes peuvent <20>tre utilis<69>es pour personnaliser les
|
|||
|
|
environnements.
|
|||
|
|
|
|||
|
|
<\description>
|
|||
|
|
<expand|item*|<markup|theoremname>>Macro qui g<>re l'apparence des noms
|
|||
|
|
des environnements th<74>or<6F>mes et remarques. La plupart utilisent un style
|
|||
|
|
gras ou des petites majuscules.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|exercisename>>Identique <20> <markup|theoremname> pour
|
|||
|
|
les exercices.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|theoremsep>>S<>parateur entre le nom d'un
|
|||
|
|
environnement th<74>or<6F>me ou remarque et son corps. Par d<>faut, il s'agit
|
|||
|
|
d'un point suivi d'une espace.
|
|||
|
|
|
|||
|
|
<expand|item*|<markup|exercisesep>>Identique <20> <markup|theoremsep> pour
|
|||
|
|
les exercices.
|
|||
|
|
</description>
|
|||
|
|
|
|||
|
|
<apply|tmdoc-copyright|1998--2003|Joris van der Hoeven|Mich<63>le Garoche>
|
|||
|
|
|
|||
|
|
<expand|tmdoc-license|Permission is granted to copy, distribute and/or
|
|||
|
|
modify this document under the terms of the GNU Free Documentation License,
|
|||
|
|
Version 1.1 or any later version published by the Free Software Foundation;
|
|||
|
|
with no Invariant Sections, with no Front-Cover Texts, and with no
|
|||
|
|
Back-Cover Texts. A copy of the license is included in the section entitled
|
|||
|
|
"GNU Free Documentation License".>
|
|||
|
|
</body>
|
|||
|
|
|
|||
|
|
<\initial>
|
|||
|
|
<\collection>
|
|||
|
|
<associate|paragraph width|150mm>
|
|||
|
|
<associate|odd page margin|30mm>
|
|||
|
|
<associate|shrinking factor|4>
|
|||
|
|
<associate|page right margin|30mm>
|
|||
|
|
<associate|page top margin|30mm>
|
|||
|
|
<associate|reduction page right margin|25mm>
|
|||
|
|
<associate|page type|a4>
|
|||
|
|
<associate|reduction page bottom margin|15mm>
|
|||
|
|
<associate|even page margin|30mm>
|
|||
|
|
<associate|reduction page left margin|25mm>
|
|||
|
|
<associate|page bottom margin|30mm>
|
|||
|
|
<associate|reduction page top margin|15mm>
|
|||
|
|
<associate|language|french>
|
|||
|
|
</collection>
|
|||
|
|
</initial>
|
|||
|
|
|
|||
|
|
<\references>
|
|||
|
|
<\collection>
|
|||
|
|
<associate|idx-1|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-2|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-3|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-4|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-5|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-6|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-7|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-8|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-9|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-20|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-10|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-11|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-12|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-13|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-14|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-15|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-16|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-17|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-18|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-19|<tuple|<uninit>|?>>
|
|||
|
|
</collection>
|
|||
|
|
</references>
|
|||
|
|
|
|||
|
|
<\auxiliary>
|
|||
|
|
<\collection>
|
|||
|
|
<\associate|idx>
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
magenta>|env-theorem>>|<pageref|idx-1>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theorem*>>|<pageref|idx-2>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|newtheorem>>|<pageref|idx-3>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|remark*>>|<pageref|idx-4>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theorem*>>|<pageref|idx-5>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|exercise*>>|<pageref|idx-6>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theorem*>>|<pageref|idx-7>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|proof*>>|<pageref|idx-8>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theorem*>>|<pageref|idx-9>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|dueto>>|<pageref|idx-10>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|corollary*>>|<pageref|idx-11>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theorem*>>|<pageref|idx-12>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|proof>>|<pageref|idx-13>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|proof*>>|<pageref|idx-14>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theoremname>>|<pageref|idx-15>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|exercisename>>|<pageref|idx-16>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theoremname>>|<pageref|idx-17>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theoremsep>>|<pageref|idx-18>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|exercisesep>>|<pageref|idx-19>>
|
|||
|
|
|
|||
|
|
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
|
|||
|
|
green>|theoremsep>>|<pageref|idx-20>>
|
|||
|
|
</associate>
|
|||
|
|
</collection>
|
|||
|
|
</auxiliary>
|