~ubuntu-branches/ubuntu/hardy/texmacs/hardy

« back to all changes in this revision

Viewing changes to TeXmacs/doc/main/styles/std-dtds/env-theorem-dtd.en.tm

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

TeXmacs/doc/main/styles/std-dtds/env-theorem-dtd.en.tm

 

1

<TeXmacs|1.0.0.17>

 

2

 

 

3

<style|tmdoc>

 

4

 

 

5

<\body>

 

6

  <expand|tmdoc-title|Theorem-like environments>

 

7

 

 

8

  The <tmdtd|env-theorem> <abbr|d.t.d.> provides tags for the layout of

 

9

  theorem-like environments. The most important tags are

 

10

 

 

11

  <\description>

 

12

    <expand|item*|<markup|theorem*>>A macro for displaying a theorem-like

 

13

    environments. The first argument specifies the name of the theorem, like

 

14

    ``Theorem 1.2'' and the second argument contains the body of the theorem.

 

15

    This environment is used for environments defined by <markup|newtheorem>.

 

16

 

 

17

    <expand|item*|<markup|remark*>>Similar to <markup|theorem*>, but for

 

18

    remark-like environments.

 

19

 

 

20

    <expand|item*|<markup|exercise*>>Similar to <markup|theorem*>, but for

 

21

    exercise-like environments.

 

22

 

 

23

    <expand|item*|<markup|proof*>>Similar to <markup|theorem*>, but for

 

24

    proofs. This environment is mainly used for customizing the name of a

 

25

    proof, like in ``End of the proof of theorem 1.2''.\ 

 

26

 

 

27

    <expand|item*|<markup|dueto>>An environment which can be used to specify

 

28

    the inventors of a theorem.

 

29

 

 

30

    <expand|item*|<markup|corollary*>>For unnumbered corollaries. This

 

31

    environment is based on <markup|theorem*>.

 

32

 

 

33

    <expand|item*|<markup|proof>>For proofs of theorems. This environment is

 

34

    based on <markup|proof*>.

 

35

  </description>

 

36

 

 

37

  The following tags can be used for further customization of the

 

38

  environments.

 

39

 

 

40

  <\description>

 

41

    <expand|item*|<markup|theoremname>>A macro which controls the appearance

 

42

    of the names of theorem-like <em|and> remark-like environments. Most

 

43

    styles use bold face or small capitals.

 

44

 

 

45

    <expand|item*|<markup|exercisename>>Similar to <markup|theoremname>, but

 

46

    for exercises.

 

47

 

 

48

    <expand|item*|<markup|theoremsep>>The separator between the name of a

 

49

    theorem-like or remark-like environment and its main body. By default,

 

50

    this is a period followed by a space.

 

51

 

 

52

    <expand|item*|<markup|exercisesep>>Similar to <markup|theoremsep>, but

 

53

    for exercises.

 

54

  </description>

 

55

 

 

56

  <apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>

 

57

 

 

58

  <expand|tmdoc-license|Permission is granted to copy, distribute and/or

 

59

  modify this document under the terms of the GNU Free Documentation License,

 

60

  Version 1.1 or any later version published by the Free Software Foundation;

 

61

  with no Invariant Sections, with no Front-Cover Texts, and with no

 

62

  Back-Cover Texts. A copy of the license is included in the section entitled

 

63

  "GNU Free Documentation License".>

 

64

</body>

 

65

 

 

66

<\initial>

 

67

  <\collection>

 

68

    <associate|paragraph width|150mm>

 

69

    <associate|odd page margin|30mm>

 

70

    <associate|shrinking factor|4>

 

71

    <associate|page right margin|30mm>

 

72

    <associate|page top margin|30mm>

 

73

    <associate|reduction page right margin|25mm>

 

74

    <associate|page type|a4>

 

75

    <associate|reduction page bottom margin|15mm>

 

76

    <associate|even page margin|30mm>

 

77

    <associate|reduction page left margin|25mm>

 

78

    <associate|page bottom margin|30mm>

 

79

    <associate|reduction page top margin|15mm>

 

80

    <associate|language|english>

 

81

  </collection>

 

82

</initial>

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1