← 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/std-markup-dtd.it.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/std-markup-dtd.it.tm
 
1
<TeXmacs|1.0.1.18>
 
2
 
 
3
<style|tmdoc>
 
4
 
 
5
<\body>
 
6
  <expand|tmdoc-title|Markup standard>
 
7
 
 
8
  Vari markup standard sono definiti in <tmdtd|std-markup>. I seguenti tag
 
9
  contestuali prendono tutti un solo argomento. La maggior parte pu� essere
 
10
  trovata nel menu <apply|menu|Text|Content tag>.
 
11
 
 
12
  <\description>
 
13
    <expand|item*|<markup|strong>>Indica una regione <strong|importante> del
 
14
    testo. Si pu� attivare questo tag attraverso <apply|menu|Text|Content
 
15
    tag|Strong>.
 
16
 
 
17
    <expand|item*|<markup|em>>Enfatizza una regione del testo come in ``la
 
18
    cosa <em|vera>''. Questo tag corrisponde alla voce di menu
 
19
    <apply|menu|Text|Content tag|Emphasize>.
 
20
 
 
21
    <expand|item*|<markup|dfn>>Per le definizioni come ``uno <dfn|gnu> � una
 
22
    bestia con le corna''. Questo tag corrisponde a <apply|menu|Text|Content
 
23
    tag|Definition>.
 
24
 
 
25
    <expand|item*|<markup|samp>>Una sequenza di caratteri letterali, come i
 
26
    caratteri <samp|ae> nella legatura �. Si pu� attivare questo tag
 
27
    attraverso <apply|menu|Text|Content tag|Sample>.
 
28
 
 
29
    <expand|item*|<markup|name>>Il nome di una cosa particolare o un concetto
 
30
    come il sistema <name|Linux>. Questo ta si ottiene usando
 
31
    <apply|menu|Text|Content tag|Name>.
 
32
 
 
33
    <expand|item*|<markup|person>>Il nome di una persona come <name|Joris>.
 
34
    Questo tag corrisponde a <apply|menu|Text|Content tag|Person>.
 
35
 
 
36
    <expand|item*|<markup|cite*>>Una citazione bibliografica come un libro o
 
37
    una rivista. Per esempio, <expand|cite*|Moby Dick> di Melville. Questo
 
38
    tag, che si ottieneusando <apply|menu|Text|Content tag|Cite>, non deve
 
39
    essere confuso con <markup|cite>. Quest'ultimo tag viene usato anche per
 
40
    le citazioni, ma dove l'argomento si riferisce a una voce in un database
 
41
    con riferimenti bibliografici.
 
42
 
 
43
    <expand|item*|<markup|abbr>>Un'abbreviazione. Esempio: io lavoro al
 
44
    <abbr|C.N.R.S.> Un'abbreviazione viene creata usando
 
45
    <apply|menu|Text|Content tag|Abbreviation> o la scorciatoia da tastiera
 
46
    <expand|kbd-text|a>.
 
47
 
 
48
    <expand|item*|<markup|acronym>>Un acronimo � un'abbreviazione formata
 
49
    dalla prima lettera di ciascuna parola in un nome o una frase, come
 
50
    <acronym|HTML> o <acronym|IBM>. In particolare, le lettere non sono
 
51
    separate da punti. Si pu� inserire un acronimo usando
 
52
    <apply|menu|Text|Content tag|Acronym>.
 
53
 
 
54
    <expand|item*|<markup|verbatim>>Testo verbatim come l'output di un
 
55
    programma informatico. Esempio: il programma restituisce
 
56
    <verbatim|hello>. Si pu� inserire del testo verbatim attraverso
 
57
    <apply|menu|Text|Content tag|Verbatim>. Il tag pu� anche essere usato
 
58
    come un ambiente per un testo con molti paragrafi.
 
59
 
 
60
    <expand|item*|<markup|kbd>>Testo che deve essere inserito da tastiera.
 
61
    Esempio: per favore premere <kbd|return>. Questo tag corrisponde alla
 
62
    voce di menu <apply|menu|Text|Content tag|Keyboard>.
 
63
 
 
64
    <expand|item*|<markup|code*>>Codice di un programma come in
 
65
    ``<expand|code*|cout \<less\>\<less\> 1+1;> yields <verbatim|2>''. Questo
 
66
    si attiva usando <apply|menu|Text|Content tag|Code>. Per pezzi di codice
 
67
    pi� lunghi, si dovrebbe usare l'ambiente <markup|code>.
 
68
 
 
69
    <expand|item*|<markup|var>>Variabili in un programma informatico come in
 
70
    <verbatim|cp <var|src-file> <var|dest-file>>. Questo tag corrisponde alla
 
71
    voce di menu <apply|menu|Text|Content tag|Variable>.
 
72
 
 
73
    <expand|item*|<markup|math>>Questo � un tag che verr� usato in futuro per
 
74
    inserire parti di carattere matematico nel testo regolare. Esempio: la
 
75
    formula <math|sin<rsup|2> x+cos<rsup|2> x=1> � ben nota.
 
76
 
 
77
    <expand|item*|<markup|op>>Questo tag pu� essere utilizzato nelle parti
 
78
    matematiche per specificare che un operatore deve essere considerato per
 
79
    se stesso, senza alcun argomento. Esempio: l'operazione <math|<op|+>> �
 
80
    una funzione da <with|mode|math|\<bbb-R\><rsup|2>> in
 
81
    <with|mode|math|\<bbb-R\>>. Questo tag potrebbe diventare obsoleto.
 
82
 
 
83
    <expand|item*|<markup|tt>>Questo � un tag fisico per per la fase di
 
84
    composizione tipografica. Esso � utilizzato per assicurare la
 
85
    compatibilit� con il formato <name|HTML>, ma non ne raccomandiamo l'uso.
 
86
  </description>
 
87
 
 
88
  I seguenti sono ambienti standard:
 
89
 
 
90
  <\description>
 
91
    <expand|item*|<markup|verbatim>>Descritto sopra.
 
92
 
 
93
    <expand|item*|<markup|code>>Analogo a <markup|code*>, ma per parti di
 
94
    codice con molte righe.
 
95
 
 
96
    <expand|item*|<markup|quote>>Ambiente per brevi (un paragrafo) citazioni.
 
97
 
 
98
    <expand|item*|<markup|quotation>>Ambiente per citazioni lunghe (molti
 
99
    paragrafi).
 
100
 
 
101
    <expand|item*|<markup|verse>>Ambiente per la poesia.
 
102
 
 
103
    <expand|item*|<markup|center>>Questo � un tag fisico per centrare una o
 
104
    pi� righe di testo. E' utilizzato per la compatibilit� con il formato
 
105
    <name|HTML>, ma non ne raccomandiamo l'uso.
 
106
  </description>
 
107
 
 
108
  Alcuni ambienti standard per le tabelle:
 
109
 
 
110
  <\description>
 
111
    <expand|item*|<markup|tabular*>>Tabelle centrate.
 
112
 
 
113
    <expand|item*|<markup|block>>Tabelle allineate a sinistra con un bordo
 
114
    standard di larghezza <verbatim|1ln>.
 
115
 
 
116
    <expand|item*|<markup|block*>>Tabelle centrate con un bordo di larghezza
 
117
    standard di <verbatim|1ln>.
 
118
  </description>
 
119
 
 
120
  I seguenti tag non hanno alcun argomento:
 
121
 
 
122
  <\description>
 
123
    <expand|item*|<markup|TeXmacs>>Il logo <TeXmacs>.
 
124
 
 
125
    <expand|item*|<markup|TeX>>Il logo <TeX>.
 
126
 
 
127
    <expand|item*|<markup|LaTeX>>Il logo <LaTeX>.
 
128
 
 
129
    <expand|item*|<markup|hflush>>Utilizzato dagli sviluppatori per il
 
130
    flushing a destra nella definizione di ambienti.
 
131
 
 
132
    <expand|item*|<markup|hrule>>Una riga orizzontale come quella qui sotto:
 
133
 
 
134
    <value|hrule>
 
135
  </description>
 
136
 
 
137
  I tag seguenti ammettono uno o pi� argomenti:
 
138
 
 
139
  <\description>
 
140
    <expand|item*|<markup|overline>>Per <overline|disegnare una linea sopra>
 
141
    il testo, che pu� estendersi su pi� righe.
 
142
 
 
143
    <expand|item*|<markup|underline>>Per <underline|sottolineare> il testo,
 
144
    che pu� estendersi su pi� righe.
 
145
 
 
146
    <expand|item*|<markup|fold>>Macro con due argomenti. Il primo argomento
 
147
    viene visualizzato e il secondo � ignorato: la macro corrisponde alla
 
148
    presentazione piegata di un pezzo del contenuto associato a un breve
 
149
    titolo o un abstract. Il secondo argomento si pu� rendere visibile usando
 
150
    <apply|menu|Insert|Switch|Unfold>.
 
151
 
 
152
    <expand|item*|<markup|unfold>>Macro con due argomenti <var|x> e <var|y>,
 
153
    che genera la presentazione non piegata di un pezzo di contenuto <var|y>
 
154
    associato a un breve titolo o abstract <var|x>. Il secondo argomento pu�
 
155
    essere reso invisibile usando <apply|menu|Insert|Switch|Fold>.
 
156
 
 
157
    <expand|item*|<markup|switch>>Macro con due argomenti <var|x> e <var|y>,
 
158
    dove <var|y> � un insieme di possibili rappresentazioni dello switch e
 
159
    <var|x> la rappresentazione attuale. I tasti funzione <key|F9>,
 
160
    <key|F10>, <key|F11> e <key|F12> possono essere usati per lo switch tra
 
161
    rappresentazioni diverse.
 
162
 
 
163
    <expand|item*|<markup|phantom>>Funzione con un argomento <var|x>. Questo
 
164
    tag permette di ottenere tanto spazio quanto ne occuperebbe l'argomento
 
165
    <var|x>, ma <var|x> non viene visualizzato. Per esempio, il testo
 
166
    ``phantom'' come argomento di <markup|phantom> produce
 
167
    ``<apply|phantom|phantom>''.
 
168
 
 
169
    <expand|item*|<markup|set-header>>Funzione con un argomento per
 
170
    modificare in modo permanente l'intestazione. Si noti che alcuni tag nel
 
171
    file di stile, come i tag di sezione, possono sovrascrivere queste
 
172
    modifiche manuali.
 
173
 
 
174
    <expand|item*|<markup|set-footer>>Funzione con un argomento per
 
175
    modificare in maniera permanente il pi� di pagina.
 
176
  </description>
 
177
 
 
178
  <apply|tmdoc-copyright|1998--2003|Joris van der Hoeven|Lucia
 
179
  Gecchelin|Andrea Centomo>
 
180
 
 
181
  <expand|tmdoc-license|Permission is granted to copy, distribute and/or
 
182
  modify this document under the terms of the GNU Free Documentation License,
 
183
  Version 1.1 or any later version published by the Free Software Foundation;
 
184
  with no Invariant Sections, with no Front-Cover Texts, and with no
 
185
  Back-Cover Texts. A copy of the license is included in the section entitled
 
186
  "GNU Free Documentation License".>
 
187
</body>
 
188
 
 
189
<\initial>
 
190
  <\collection>
 
191
    <associate|paragraph width|150mm>
 
192
    <associate|odd page margin|30mm>
 
193
    <associate|shrinking factor|4>
 
194
    <associate|page right margin|30mm>
 
195
    <associate|page top margin|30mm>
 
196
    <associate|reduction page right margin|25mm>
 
197
    <associate|page type|a4>
 
198
    <associate|reduction page bottom margin|15mm>
 
199
    <associate|even page margin|30mm>
 
200
    <associate|reduction page left margin|25mm>
 
201
    <associate|page bottom margin|30mm>
 
202
    <associate|reduction page top margin|15mm>
 
203
    <associate|language|italian>
 
204
  </collection>
 
205
</initial>
 
206
 
 
207
<\references>
 
208
  <\collection>
 
209
    <associate|idx-1|<tuple|<uninit>|?>>
 
210
    <associate|idx-2|<tuple|<uninit>|?>>
 
211
    <associate|idx-3|<tuple|<uninit>|?>>
 
212
    <associate|idx-4|<tuple|<uninit>|?>>
 
213
    <associate|idx-5|<tuple|<uninit>|?>>
 
214
    <associate|idx-6|<tuple|<uninit>|?>>
 
215
    <associate|idx-7|<tuple|<uninit>|?>>
 
216
    <associate|idx-8|<tuple|<uninit>|?>>
 
217
    <associate|idx-9|<tuple|<uninit>|?>>
 
218
    <associate|idx-50|<tuple|<uninit>|?>>
 
219
    <associate|idx-40|<tuple|<uninit>|?>>
 
220
    <associate|idx-10|<tuple|<uninit>|?>>
 
221
    <associate|idx-20|<tuple|<uninit>|?>>
 
222
    <associate|idx-30|<tuple|<uninit>|?>>
 
223
    <associate|idx-51|<tuple|<uninit>|?>>
 
224
    <associate|idx-41|<tuple|<uninit>|?>>
 
225
    <associate|idx-11|<tuple|<uninit>|?>>
 
226
    <associate|idx-21|<tuple|<uninit>|?>>
 
227
    <associate|idx-31|<tuple|<uninit>|?>>
 
228
    <associate|idx-52|<tuple|<uninit>|?>>
 
229
    <associate|idx-42|<tuple|<uninit>|?>>
 
230
    <associate|idx-12|<tuple|<uninit>|?>>
 
231
    <associate|idx-22|<tuple|<uninit>|?>>
 
232
    <associate|idx-32|<tuple|<uninit>|?>>
 
233
    <associate|idx-53|<tuple|<uninit>|?>>
 
234
    <associate|idx-43|<tuple|<uninit>|?>>
 
235
    <associate|idx-33|<tuple|<uninit>|?>>
 
236
    <associate|idx-13|<tuple|<uninit>|?>>
 
237
    <associate|idx-23|<tuple|<uninit>|?>>
 
238
    <associate|idx-34|<tuple|<uninit>|?>>
 
239
    <associate|idx-44|<tuple|<uninit>|?>>
 
240
    <associate|idx-24|<tuple|<uninit>|?>>
 
241
    <associate|idx-14|<tuple|<uninit>|?>>
 
242
    <associate|idx-54|<tuple|<uninit>|?>>
 
243
    <associate|idx-55|<tuple|<uninit>|?>>
 
244
    <associate|idx-45|<tuple|<uninit>|?>>
 
245
    <associate|idx-35|<tuple|<uninit>|?>>
 
246
    <associate|idx-15|<tuple|<uninit>|?>>
 
247
    <associate|idx-25|<tuple|<uninit>|?>>
 
248
    <associate|idx-56|<tuple|<uninit>|?>>
 
249
    <associate|idx-46|<tuple|<uninit>|?>>
 
250
    <associate|idx-36|<tuple|<uninit>|?>>
 
251
    <associate|idx-16|<tuple|<uninit>|?>>
 
252
    <associate|idx-26|<tuple|<uninit>|?>>
 
253
    <associate|idx-57|<tuple|<uninit>|?>>
 
254
    <associate|idx-47|<tuple|<uninit>|?>>
 
255
    <associate|idx-37|<tuple|<uninit>|?>>
 
256
    <associate|idx-17|<tuple|<uninit>|?>>
 
257
    <associate|idx-27|<tuple|<uninit>|?>>
 
258
    <associate|idx-58|<tuple|<uninit>|?>>
 
259
    <associate|idx-48|<tuple|<uninit>|?>>
 
260
    <associate|idx-38|<tuple|<uninit>|?>>
 
261
    <associate|idx-18|<tuple|<uninit>|?>>
 
262
    <associate|idx-28|<tuple|<uninit>|?>>
 
263
    <associate|idx-59|<tuple|<uninit>|?>>
 
264
    <associate|idx-49|<tuple|<uninit>|?>>
 
265
    <associate|idx-39|<tuple|<uninit>|?>>
 
266
    <associate|idx-19|<tuple|<uninit>|?>>
 
267
    <associate|idx-29|<tuple|<uninit>|?>>
 
268
  </collection>
 
269
</references>
 
270
 
 
271
<\auxiliary>
 
272
  <\collection>
 
273
    <\associate|idx>
 
274
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
275
      magenta>|std-markup>>|<pageref|idx-1>>
 
276
 
 
277
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
278
      family|<quote|ss>|Content tag>>|<pageref|idx-2>>
 
279
 
 
280
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
281
      green>|strong>>|<pageref|idx-3>>
 
282
 
 
283
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
284
      family|<quote|ss>|Content tag>|<with|font
 
285
      family|<quote|ss>|Enfatizzato>>|<pageref|idx-4>>
 
286
 
 
287
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
288
      green>|em>>|<pageref|idx-5>>
 
289
 
 
290
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
291
      family|<quote|ss>|Content tag>|<with|font
 
292
      family|<quote|ss>|Enfatizza>>|<pageref|idx-6>>
 
293
 
 
294
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
295
      green>|dfn>>|<pageref|idx-7>>
 
296
 
 
297
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
298
      family|<quote|ss>|Content tag>|<with|font
 
299
      family|<quote|ss>|Definizione>>|<pageref|idx-8>>
 
300
 
 
301
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
302
      green>|samp>>|<pageref|idx-9>>
 
303
 
 
304
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
305
      family|<quote|ss>|Content tag>|<with|font
 
306
      family|<quote|ss>|Esempio>>|<pageref|idx-10>>
 
307
 
 
308
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
309
      green>|name>>|<pageref|idx-11>>
 
310
 
 
311
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
312
      family|<quote|ss>|Content tag>|<with|font
 
313
      family|<quote|ss>|Nome>>|<pageref|idx-12>>
 
314
 
 
315
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
316
      green>|person>>|<pageref|idx-13>>
 
317
 
 
318
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
319
      family|<quote|ss>|Content tag>|<with|font
 
320
      family|<quote|ss>|Persona>>|<pageref|idx-14>>
 
321
 
 
322
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
323
      green>|cite*>>|<pageref|idx-15>>
 
324
 
 
325
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
326
      family|<quote|ss>|Content tag>|<with|font
 
327
      family|<quote|ss>|Citazione>>|<pageref|idx-16>>
 
328
 
 
329
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
330
      green>|cite>>|<pageref|idx-17>>
 
331
 
 
332
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
333
      green>|abbr>>|<pageref|idx-18>>
 
334
 
 
335
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
336
      family|<quote|ss>|Content tag>|<with|font
 
337
      family|<quote|ss>|Abbreviazione>>|<pageref|idx-19>>
 
338
 
 
339
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
340
      green>|acronym>>|<pageref|idx-20>>
 
341
 
 
342
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
343
      family|<quote|ss>|Content tag>|<with|font
 
344
      family|<quote|ss>|Acronimo>>|<pageref|idx-21>>
 
345
 
 
346
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
347
      green>|verbatim>>|<pageref|idx-22>>
 
348
 
 
349
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
350
      family|<quote|ss>|Content tag>|<with|font family|<quote|ss>|Testo
 
351
      semplice>>|<pageref|idx-23>>
 
352
 
 
353
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
354
      green>|kbd>>|<pageref|idx-24>>
 
355
 
 
356
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
357
      family|<quote|ss>|Content tag>|<with|font
 
358
      family|<quote|ss>|Tastiera>>|<pageref|idx-25>>
 
359
 
 
360
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
361
      green>|code*>>|<pageref|idx-26>>
 
362
 
 
363
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
364
      family|<quote|ss>|Content tag>|<with|font
 
365
      family|<quote|ss>|Codice>>|<pageref|idx-27>>
 
366
 
 
367
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
368
      green>|code>>|<pageref|idx-28>>
 
369
 
 
370
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
371
      green>|var>>|<pageref|idx-29>>
 
372
 
 
373
      <tuple|<tuple|<with|font family|<quote|ss>|Testo>|<with|font
 
374
      family|<quote|ss>|Content tag>|<with|font
 
375
      family|<quote|ss>|Variabile>>|<pageref|idx-30>>
 
376
 
 
377
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
378
      green>|math>>|<pageref|idx-31>>
 
379
 
 
380
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
381
      green>|op>>|<pageref|idx-32>>
 
382
 
 
383
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
384
      green>|tt>>|<pageref|idx-33>>
 
385
 
 
386
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
387
      green>|verbatim>>|<pageref|idx-34>>
 
388
 
 
389
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
390
      green>|code>>|<pageref|idx-35>>
 
391
 
 
392
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
393
      green>|code*>>|<pageref|idx-36>>
 
394
 
 
395
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
396
      green>|quote>>|<pageref|idx-37>>
 
397
 
 
398
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
399
      green>|quotation>>|<pageref|idx-38>>
 
400
 
 
401
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
402
      green>|verse>>|<pageref|idx-39>>
 
403
 
 
404
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
405
      green>|center>>|<pageref|idx-40>>
 
406
 
 
407
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
408
      green>|tabular*>>|<pageref|idx-41>>
 
409
 
 
410
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
411
      green>|block>>|<pageref|idx-42>>
 
412
 
 
413
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
414
      green>|block*>>|<pageref|idx-43>>
 
415
 
 
416
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
417
      green>|TeXmacs>>|<pageref|idx-44>>
 
418
 
 
419
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
420
      green>|TeX>>|<pageref|idx-45>>
 
421
 
 
422
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
423
      green>|LaTeX>>|<pageref|idx-46>>
 
424
 
 
425
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
426
      green>|hflush>>|<pageref|idx-47>>
 
427
 
 
428
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
429
      green>|hrule>>|<pageref|idx-48>>
 
430
 
 
431
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
432
      green>|overline>>|<pageref|idx-49>>
 
433
 
 
434
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
435
      green>|underline>>|<pageref|idx-50>>
 
436
 
 
437
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
438
      green>|fold>>|<pageref|idx-51>>
 
439
 
 
440
      <tuple|<tuple|<with|font family|<quote|ss>|Inserisci>|<with|font
 
441
      family|<quote|ss>|Switch>|<with|font
 
442
      family|<quote|ss>|Unfold>>|<pageref|idx-52>>
 
443
 
 
444
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
445
      green>|unfold>>|<pageref|idx-53>>
 
446
 
 
447
      <tuple|<tuple|<with|font family|<quote|ss>|Inserisci>|<with|font
 
448
      family|<quote|ss>|Switch>|<with|font
 
449
      family|<quote|ss>|Arrotola>>|<pageref|idx-54>>
 
450
 
 
451
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
452
      green>|switch>>|<pageref|idx-55>>
 
453
 
 
454
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
455
      green>|phantom>>|<pageref|idx-56>>
 
456
 
 
457
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
458
      green>|phantom>>|<pageref|idx-57>>
 
459
 
 
460
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
461
      green>|set-header>>|<pageref|idx-58>>
 
462
 
 
463
      <tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
 
464
      green>|set-footer>>|<pageref|idx-59>>
 
465
    </associate>
 
466
  </collection>
 
467
</auxiliary>