6
<with|language|italian|><expand|tmdoc-title|Copyright e licenza GNU>
8
Tutta la documentazione contenuta in <verbatim|texmacs-doc> viene
9
rilasciata con licenza <apply|hyper-link|GNU Free Documentation
10
License|../../../fdl.txt>. Nel momento in cui scrivete nuova documentazione
11
per <TeXmacs> in questo sito, dovete accettare che anche quest'ultima venga
12
distribuita con la medesima licenza. La seguente nota sul copyright
15
<verbatim|Si garantisce il permesso di copiare, distribuire e/o
16
modificare questo documento nei termini previsti dalla licenza GNU Free
17
Documentation License, Versione 1.1 o successiva pubblicata dalla Free
18
Software Foundation; senza includere sezioni non modificabili, senza
19
includere testi sia nella copertina anteriore che posteriore. Copia della
20
licenza viene inclusa nella sezione recante il titolo "GNU Free
21
Documentation License".>
24
deve quindi essere specificata al termine di <em|ogni> file. Questo si pu�
25
fare, come potete vedere alla fine di questo documento, all'interno della
26
macro <markup|tmdoc-license>. Nel momento in cui, a partire da molti file
27
di documentazione, si genera un unico testo ci� permette di includere la
28
licenza una volta per tutte.
30
Tutti coloro che parteciperanno alla redazione di documentazione per
31
<TeXmacs> nel sito ufficiale <verbatim|texmacs-doc> acquisiranno, almeno in
32
parte, i diritti di copyright sull'intera documentazione redatta. Nel
33
momento in cui qualcuno apporti modifiche o aggiunte (incluse traduzioni)
34
ad un documento il suo nome verr� aggiunto alla nota informativa sul
35
copyright, in un luogo appropriato (tipicamente alla fine del documento).
36
La nota di copyright deve essere specificata utilizzando la funzione
37
<markup|tmdoc-copyright>, prima dell'informativa riguardante la licenza che
38
compare alla fine del documento. Il primo argomento di questa funzione
39
contiene l'anno o il periodo di redazione del documento. L'argomento
40
successivo contiene i detentori del copyright. Nel momento in cui parti di
41
documenti differenti venissero aggregate in un unico documento, in esso
42
verranno menzionati tutti i detentori del copyright. Come informazione di
43
copertina, ad esempio in un libro stampato, � concesso il riferimento ai
44
soli autori principali, anche se una lista completa degli autori deve
45
essere chiaramente riportata in un luogo segnalato chiaramente.
47
<apply|tmdoc-copyright|1998--2003|Joris van der Hoeven, Andrea Centomo>
49
<expand|tmdoc-license|Permission is granted to copy, distribute and/or
50
modify this document under the terms of the GNU Free Documentation License,
51
Version 1.1 or any later version published by the Free Software Foundation;
52
with no Invariant Sections, with no Front-Cover Texts, and with no
53
Back-Cover Texts. A copy of the license is included in the section entitled
54
"GNU Free Documentation License".>
59
<associate|paragraph width|150mm>
60
<associate|odd page margin|30mm>
61
<associate|shrinking factor|4>
62
<associate|page right margin|30mm>
63
<associate|page top margin|30mm>
64
<associate|reduction page right margin|25mm>
65
<associate|page type|a4>
66
<associate|reduction page bottom margin|15mm>
67
<associate|even page margin|30mm>
68
<associate|reduction page left margin|25mm>
69
<associate|page bottom margin|30mm>
70
<associate|reduction page top margin|15mm>
71
<associate|language|italian>
77
<associate|idx-1|<tuple|<uninit>|?>>
78
<associate|idx-2|<tuple|<uninit>|?>>
85
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
86
green>|tmdoc-license>>|<pageref|idx-1>>
88
<tuple|<tuple|<with|font family|<quote|tt>|color|<quote|dark
89
green>|tmdoc-copyright>>|<pageref|idx-2>>