← Back to branch summary

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

« back to all changes in this revision

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

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2004-04-19 20:34:00 UTC
  • Revision ID: james.westby@ubuntu.com-20040419203400-g4e34ih0315wcn8v
Tags: upstream-1.0.3-R2
Import upstream version 1.0.3-R2

Show diffs side-by-side

added added

removed removed

Lines of Context:
TeXmacs/doc/main/styles/std-dtds/program-dtd.en.tm
 
1
<TeXmacs|1.0.1.20>
 
2
 
 
3
<style|tmdoc>
 
4
 
 
5
<\body>
 
6
  <expand|tmdoc-title|Special markup for programs>
 
7
 
 
8
  The <tmdtd|program> <abbr|d.t.d.> provides markup for the layout of
 
9
  computer programs. However, these tags should be considered as very
 
10
  unstable, since we plan to replace them by a set of more detailed tags:
 
11
 
 
12
  <\description>
 
13
    <expand|item*|<markup|algorithm>>Macro with two arguments: the name of
 
14
    the algorithm and algorithm itself, together with its possible
 
15
    specification.
 
16
 
 
17
    <expand|item*|<markup|body>>The real body of the algorithm.
 
18
 
 
19
    <expand|item*|<markup|indent>>For indenting part of an algorithm.
 
20
  </description>
 
21
 
 
22
  <apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>
 
23
 
 
24
  <expand|tmdoc-license|Permission is granted to copy, distribute and/or
 
25
  modify this document under the terms of the GNU Free Documentation License,
 
26
  Version 1.1 or any later version published by the Free Software Foundation;
 
27
  with no Invariant Sections, with no Front-Cover Texts, and with no
 
28
  Back-Cover Texts. A copy of the license is included in the section entitled
 
29
  "GNU Free Documentation License".>
 
30
</body>
 
31
 
 
32
<\initial>
 
33
  <\collection>
 
34
    <associate|paragraph width|150mm>
 
35
    <associate|odd page margin|30mm>
 
36
    <associate|shrinking factor|4>
 
37
    <associate|page right margin|30mm>
 
38
    <associate|page top margin|30mm>
 
39
    <associate|reduction page right margin|25mm>
 
40
    <associate|page type|a4>
 
41
    <associate|reduction page bottom margin|15mm>
 
42
    <associate|even page margin|30mm>
 
43
    <associate|reduction page left margin|25mm>
 
44
    <associate|page bottom margin|30mm>
 
45
    <associate|reduction page top margin|15mm>
 
46
    <associate|language|english>
 
47
  </collection>
 
48
</initial>
 
49
 
 
50
<\references>
 
51
  <\collection>
 
52
    <associate|idx-1|<tuple|<uninit>|?>>
 
53
    <associate|idx-2|<tuple|<uninit>|?>>
 
54
    <associate|idx-3|<tuple|<uninit>|?>>
 
55
    <associate|idx-4|<tuple|<uninit>|?>>
 
56
    <associate|idx-5|<tuple|<uninit>|?>>
 
57
    <associate|idx-6|<tuple|<uninit>|?>>
 
58
    <associate|idx-7|<tuple|<uninit>|?>>
 
59
    <associate|idx-8|<tuple|<uninit>|?>>
 
60
    <associate|idx-9|<tuple|<uninit>|?>>
 
61
    <associate|idx-10|<tuple|<uninit>|?>>
 
62
    <associate|idx-11|<tuple|<uninit>|?>>
 
63
    <associate|idx-12|<tuple|<uninit>|?>>
 
64
    <associate|idx-13|<tuple|<uninit>|?>>
 
65
    <associate|idx-14|<tuple|<uninit>|?>>
 
66
    <associate|idx-15|<tuple|<uninit>|?>>
 
67
    <associate|idx-16|<tuple|<uninit>|?>>
 
68
    <associate|idx-17|<tuple|<uninit>|?>>
 
69
  </collection>
 
70
</references>
 
71
 
 
72
<\auxiliary>
 
73
  <\collection>
 
74
    <\associate|idx>
 
75
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
76
      magenta>|program>>|<pageref|idx-1>>
 
77
 
 
78
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
79
      green>|session>>|<pageref|idx-2>>
 
80
 
 
81
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
82
      green>|input>>|<pageref|idx-3>>
 
83
 
 
84
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
85
      green>|output>>|<pageref|idx-4>>
 
86
 
 
87
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
88
      green>|<with|font shape|<quote|italic>|lan>-session>>|<pageref|idx-5>>
 
89
 
 
90
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
91
      green>|<with|font shape|<quote|italic>|lan>-input>>|<pageref|idx-6>>
 
92
 
 
93
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
94
      green>|<with|font shape|<quote|italic>|lan>-output>>|<pageref|idx-7>>
 
95
 
 
96
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
97
      green>|generic-session>>|<pageref|idx-8>>
 
98
 
 
99
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
100
      green>|generic-input>>|<pageref|idx-9>>
 
101
 
 
102
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
103
      green>|generic-output>>|<pageref|idx-10>>
 
104
 
 
105
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|brown>|varsession>>|<pageref|idx-11>>
 
106
 
 
107
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
108
      green>|generic-output*>>|<pageref|idx-12>>
 
109
 
 
110
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
111
      green>|generic-output>>|<pageref|idx-13>>
 
112
 
 
113
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
114
      magenta>|program>>|<pageref|idx-14>>
 
115
 
 
116
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
117
      green>|algorithm>>|<pageref|idx-15>>
 
118
 
 
119
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
120
      green>|body>>|<pageref|idx-16>>
 
121
 
 
122
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
123
      green>|indent>>|<pageref|idx-17>>
 
124
    </associate>
 
125
  </collection>
 
126
</auxiliary>