# Manuale di &kedit;

## Introduzione

&kedit; è un editor di testi per &kde;. È un piccolo editor che può essere usato con &konqueror; per la navigazione nei file di testo e di configurazione. &kedit; serve anche per creare piccoli e semplici documenti di testo. Non è destinato ad essere un editor per la programmazione, in particolare non è indicato per rimpiazzare editor più potenti come &kate;, XEmacs o Emacs. Le funzionalità di &kedit; rimarranno piuttosto limitate per assicurare un avvio veloce.

## Alcuni aspetti generali

&kedit; è molto semplice da usare. Chiunque abbia usato un editor di testi non dovrebbe avere problemi.

### Trascinamento

&kedit; usa il protocollo per il trascinamento di &kde;. I file possono essere trascinati su &kedit; dal desktop, da &konqueror;, o da un sito &FTP; remoto aperto in una delle finestre di &konqueror;.

### Opzioni a riga di comando

Benché &kedit; sia spesso avviato dal menu programmi di &kde;, o da un'icona del desktop, può anche essere avviato dalla riga di comando di una finestra di terminale. In quest'ultimo caso sono disponibili alcune utili opzioni.

#### Specifica un fle

Specificando il percorso e il nome di un file particolare, l'utente indica a &kedit; di aprire (o creare) quel file immediatamente all'avvio. Quest'opzione ha la struttura seguente:

    %kedit /home/miahome/documenti/miofile.txt

#### Specifica un file su Internet

Il metodo appena citato può essere usato anche per aprire file su Internet (se l'utente ha una connessione attiva al momento). Ecco un esempio:

    %kedit ftp://ftp.kde.org/pub/kde/Welcome.msg

#### Altre opzioni a riga di comando

Sono disponibili le seguenti opzioni d'aiuto a riga di comando

`kedit` `--help`

- Elenca le opzioni di base disponibili a riga di comando.

`kedit` `--help-qt`

- Elenca le opzioni disponibili per cambiare l'interazione di &kedit; con &Qt;.

`kedit` `--help-kde`

- Elenca le opzioni disponibili per cambiare l'interazione di &kedit; con &kde;.

`kedit` `--help-all`

- Elenca tutte le opzioni a riga di comando.

`kedit` `--author`

- Mostra gli autori di &kedit; in una finestra di terminale

`kedit` `--version`

- Mostra informazioni sulla versione di &Qt;, &kde;, and &kedit;. Disponibili anche tramite `kedit` `-V`

### Associazioni di tasti

Molte associazioni di tasti (scorciatoie) sono configurabili nel menu Settings. Le associazioni di tasti di &kedit; sono così preimpostate.

Associazione di tasti | Azione
Freccia sinistra | Sposta il cursore di un carattere a sinistra.
Freccia destra | Sposta il cursore di un carattere a destra.
Freccia su | Sposta il cursore nella riga precedente
Freccia giù | Sposta il cursore nella riga successiva.
Pagina su | Sposta il cursore nella pagina precedente.
Pagina giù | Sposta il cursore nella pagina successiva.
Backspace | Cancella il carattere alla sinistra del cursore.
Inizio | Sposta il cursore all'inizio della riga.
Fine | Sposta il cursore alla fine della riga.
Canc | Cancella il carattere alla destra del cursore.
&Shift;Freccia sinistra | Seleziona testo verso sinistra un carattere alla volta.
&Shift;Freccia destra | Seleziona testo verso destra un carattere alla volta.
&Ctrl;A | Seleziona tutto il testo nel documento.
&Ctrl;B | Sposta il cursore di un carattere a sinistra.
&Ctrl;C | Copia il testo selezionato negli appunti.
&Ctrl; D | Cancella il carattere alla destra del cursore.
&Ctrl;E | Sposta il cursore alla fine della riga.
&Ctrl;F | Cerca testo nel documento.
&Ctrl;G | Vai alla riga.
&Ctrl;H | Cancella il carattere alla sinistra del cursore.
&Ctrl;K | Crea un nuovo documento
&Ctrl; N | Sposta il cursore nella riga successiva.
&Ctrl; P | Stampa.
&Ctrl;V | Incolla il testo contenuto negli appunti nel documento, a partire dalla posizione del cursore.
&Ctrl;X | Taglia il testo selezionato, copiandolo negli appunti.
&Ctrl; Y | Incolla il contenuto del kill-buffer (appunti) nel documento, a partire della posizione del cursore.

## Le voci del menu

### Il menu File

&Ctrl;N File Nuovo

- Crea un nuovo documento in una nuova istanza dell'editor.

&Ctrl;O File Apri...

- Questo comando apre un file. Apre una finestra di dialogo che permette all'utente di navigare nel filesystem.

  La finestra si comporta come un piccolo file manager. Facendo clic sulle cartelle mostrate nella finestra centrale, vi si accede - vedendone il contenuto. C'è una casella di scelta rapida che può essere usata per inserire direttamente l'indirizzo e il nome del file o, facendo clic sulla freccia a lato, sceglierlo nella lista a comparsa che elenca quelli usati di recente.

  In basso c'è un filtro dove, allo stesso modo, è possibile inserire dati o sceglierli da una lista a comparsa di filtri usati di recente. I file che soddisfano le condizioni del filtro sono visualizzati nella finestra centrale. Se il filtro contiene testo come `*.txt` solo i file con estensione txt saranno visibili nella finestra centrale.

  La barra degli strumenti ha due pulsanti, uno con una freccia sinistra e l'altro con una destra, che permettono all'utente di muoversi indietro e avanti attraverso le cartelle precedentemente selezionate; allo stesso modo un pulsante con una freccia in su permette di risalire la struttura ad albero delle cartelle. Il bottone con una piccola casa permette all'utente di raggiungere la propria cartella home e quello con due frecce che si inseguono aggiorna la vista della cartella corrente. Il pulsante con la bandiera permette all'utente di creare un nuovo segnalibro nella cartella corrente o di andare a uno precedentemente impostato. L'icona della cartella con una scintilla sopra permette di crearne una nuova. Infine c'è una casella a comparsa sulla barra degli strumenti con una lista di cartelle utilizzate di frequente.

File Apri recenti

- Questa è una scorciatoia per aprire documenti salvati di recente. Facendo clic su questo elemento si apre una lista a lato del menu con i file recentemente salvati. Facendo clic su un determinato file lo si apre con &kedit; - se il file si trova ancora in quella posizione.

&Ctrl;S File Salva

- Salva il documento corrente. Se già era stato effettuato un salvataggio, lo si sovrascrive senza chiedere il consenso dell'utente.

  L'editor può essere configurato per effettuare una copia di sicurezza.

  Se è il primo salvataggio di un nuovo documento, apparirà la finestra di salvataggio (descritta sotto).

File Salva con nome...

- Permette di salvare il documento con un nuovo nome. È come la finestra di dialogo descritta nella sezione Apri di questo file d'aiuto.

&Ctrl;P File Stampa...

- Apre una finestra di stampa che permette all'utente di specifivare cosa, dove e come stampare. L'utente può scegliere tra il comando predefinito `lpr` o un comando personale per la stampa dell'intero documento o di una selezione.

File Spedisci...

- Serve per inviare il documento via posta elettronica. Appare una finestra dove l'utente può inserire l'indirizzo e l'oggetto del messaggio.

  Puoi impostare il programma di posta preferito in &kcontrol;

&Ctrl;W File Chiudi

- Chiude la finestra dell'editor. Se hai anche altre istanze di &kedit; aperte, queste ultime non vengono chiuse.

&Ctrl;Q File Esci

- Chiude l'editor.

### Il menu Modifica

&Ctrl;Z Modifica Annulla

- Serve per eliminare o invertire le più recenti azioni o operazioni.

&Ctrl;&Shift;Z Modifica Rifai

- Questo invertirà il cambiamento più recente (se esiste) fatto usando Annulla.

&Ctrl;X Modifica Taglia

- Cancella la selezione corrente e la inserisce negli appunti. Gli appunti sono una funzione di &kde; che lavora in sottofondo per provvedere al trasferimento di dati tra differenti applicazioni.

&Ctrl;C Modifica Copia

- Copia la selezione corrente negli appunti per poterla poi incollato da un'altra parte. Gli appunti sono una funzione di &kde; che lavora in sottofondo per provvedere al trasferimento di dati tra differenti applicazioni.

&Ctrl;V Modifica Incolla

- Copia il contenuto degli appunti a partire dalla posizione del cursore. Gli appunti sono una funzione di &kde; che lavora in sottofondo per provvedere al trasferimento di dati tra differenti applicazioni.

&Ctrl;A Modifica Seleziona tutto

- Seleziona l'intero documento. Può essere molto utile per copiare l'intero documento in un'altra applicazione.

&Ctrl;F Modifica Trova...

- Questo apre la finestra Trova che è usata per specificare il testo da trovare nel documento. C'è una piccola casella di testo per immettere lo schema di ricerca. Sono incluse due altre opzioni per una ricerca più efficiente. Selezionando Distingui maiuscole si limita la ricerca alle voci che corrispondono alla dimensione (maiuscolo o minuscolo) per ognuno dei caratteri contenuti nella stringa di ricerca. Trova all'indietro dirige la ricerca verso l'alto.

F3 Modifica Trova successivo

- Ripete l'ultima operazione di ricerca, senza usare di nuovo la finestra Trova.

&Ctrl;R Modifica Sostituisci...

- Questo comando apre la finestra Sostituisci. La finestra Sostituisci è simile all'appena menzionata finestra Trova ma con l'aggiunta della casella di testo Sostituisci con:. Usando questa finestra l'utente può specificare il testo da trovare e quello con cui sostituirlo. Sono presenti anche due pulsanti addizionali. Il pulsante Sostituisci permette all'utente di effettuare una sostituzione alla volta, utile quando non tutte le istanze del testo cercato devono essere sostituite. Il pulsante Sostituisci tutto dovrebbe essere usato con precauzione in quanto sosostituisce ogni istanza del testo specificato.

Modifica Inserisci file...

- Questo apre la finestra File Apri dove l'utente può inserire un intero file nel documento. Il file verrà inserito alla posizione del cursore di testo lampeggiante.

Modifica Inserisci Data

- Questo inserirà la data corrente alla posizione del cursore di testo lampeggiante.

Modifica Pulisci gli spazi

- Scegliendo questa voce verrà eliminato da qualunque testo selezionato tutti gli spazi superflui e tutti i ritorni di carrello (il codice per la fine di un paragrafo chiamato dalla pressione del tasto Invio). In altre parole, ogni caso di due o più spazi verrà ridotto ad uno spazio; e tutti i paragrafi e linee bianche verranno ridotti ad un singolo paragrafo.

### Il Menu Vai

&Ctrl;G Vai Vai alla riga...

- Questo apre la finestra Vai alla riga che è usata per avere il cursore in una particolare linea (specificata da un numero) nel documento. Il numero della linea può essere introdotto direttamente nella casella di testo o graficamente facendo clic sulle frecce di a lato della casella di testo. La piccola freccia su incrementa il numero della linea e quella giù lo decrementa.

### Il Menu Strumenti

Strumenti Ortografia...

- Questo avvia il programma di controllo ortografia - pensato per aiutare gli utenti a trovare e correggere ogni errore d'ortografia. Facendo clic su di esso si avvierà il controllo richiamando la finestra Ortografia la quale l'utente può gestire il processo. Ci sono tre caselle di testo allineate verticalmente appena a sinistra del centro con le corrispondenti etichette a sinistra. Partendo dall'alto ci sono:

  Parola sbagliata:

- Qui, il controllo ortografia indica la parola sotto esame. Questo accade quando si incontra una parola non contenuta nel dizionario - un file contiene una lista di parole corrette ortograficamente che vengono comparate con ognuna presente nell'editor.

Sostituzione:

- Se il controllo ha qualche parola simile nel suo dizionario, la prima viene inclusa qui. L'utente può accettare il suggerimento, scrivere la propria correzione, o scegliere un differente suggerimento dalla prossima casella.

Suggerimenti:

- Il controllo può inserire qui una lista di possibili sostituzioni per la parola presa in considerazione. Facendo clic su qualsiasi suggerimento questo va a sostituire la parola nella casella Sostituzioni:, in alto.

Sulla finestra di dialogo sono presenti 8 bottoni che permettono all'utente di controllare il processo di correzione. Sono:

Sostituisci

- Questo bottone ha il compito di sostituire la parola sotto esame nel documento con la parola nella casella Sostituzioni:.

Sostituisci Tutto

- Questo bottone fa sostituire al controllore non solo la parola sbagliata: attuale, ma effettua automaticamente la stessa sostituzione per ogni altra Parola sbagliata: nel documento.

Ignora

- Attivando questo bottone il controllo proseguirà oltre senza apllicare cambiamenti.

Ignora Tutto

- Questo bottone comunica al controllo di ignorare questa Parola Sbagliata ed andare oltre senza considerare altre eventuali istanze della stessa parola.

  Questo è applicato solo al controllo corrente. Se il controllo sarà riavviato in un secondo momento, si fermerà su questa stessa parola.

Aggiungi

- Premendo questo pulsante si aggiungerà la Parola Sbagliata: nel dizionario del correttore. Questo significa che in futuro il controllo considererà questa parola ortograficamente corretta.

Aiuto

- Questo apre il sistema d'aiuto di &kde; partendo dalle pagine d'aiuto riferite a &kedit; (questo documento).

Ferma

- Questo pulsante ferma il processo di correzione.

Cancella

- Questo pulsante ferma il processo di correzione.

Localizzata orizontalmente, lungo la parte inferiore della finestra di correzione c'è una barra di avanzamento. Come il processo di controllo prosegue, la barrà si riempirà da sinistra verso destra provvedendo a una rappresentazione grafica di quanto il processo sia avanzato.

Una visualizzazione numerica del processo di correzione è visualizzata nella barra di stato dell'editor. La Barra di Stato è una striscia orizzontale in basso all'editor, appena fuori l'area di immissione del testo.

### Il Menu Impostazioni

Impostazioni Mostra la barra degli strumenti

- Quando selezionata, questa mostra una barra mobile contenente pulsanti usati per avviare dei comandi usati di frequente. La barra degli strumenti è di solito localizzata nella parte alta dell'editor appena sotto il menu. Quando deselezionata, la barra degli strumenti è nascosta. Facendo clic sulla maniglia striata si nasconderà o si farà apparire la barra. Fare clic su questa maniglia e trascinarla permette all'utente di muovere la barra.

Impostazioni Mostra la barra di stato

- Quando selezionata, questa visualizza una piccola barra in fondo all'editor contenente informazioni sullo stato del documento corrente. Quando deselezionata, la barra di stato è nascosta.

Impostazioni Salva impostazioni

- Questo salva i settaggi correnti dell'editor per l'utilizzo in documenti futuri.

Impostazioni Configura le associazioni di tasti...

- Questo comando apre una finestra di dialogo dove le associazioni di tasti possono essere cambiate. Una finestra nella parte superiore della finestra di dialogo mostra i comandi disponibili. Sotto sono presenti tre bottoni di scelta. L'utente può scegliere tra Nessun tasto, Tasto predefinito, and Tasto personalizzato.

  Nota che i tre bottoni permettono la scelta di un solo oggetto presentato - lo stesso caso dei bottoni in un'autoradio che offrono la scelta di una sola stazione. Inoltre, il tasto predefinito è disponibili solo per quei comandi che attualmente hanno un'associazione predefinita.)

  Selezionando il tasto personalizzato si attivano le tre caselle di scelta e un pulsante della tastiera in fondo alla finestra. L'utente può quindi selezionare una combinazione di tasti per il comando in questione con le caselle e i pulsanti della tastiera. Per esempio, con il comando Informazioni su &kde; selezionato nella finestra visualizzata, l'utente può selezionare &Ctrl; e &Alt;, fare clic sul tasto e, successivamente, premere il tastoK sulla tastiera. Questo vuol dire che ogni volta che tiene premuti &Ctrl; e &Alt; e preme il tasto K (usando &kedit;) verrà visualizzata la finestra delle informazioni su &kde;.

Impostazioni Configura le barre degli strumenti...

- Questo apre una finestra dove la configurazione delle barre degli strumenti può essere cambiata. L'utente può scegliere quale pulsante di scelta rapida deve apparire nella barra degli strumenti, se e dove il testo appare con i pulsanti. Altre scelte includono la grandezza dei pulsanti (icone) e la posiozione della barra (in alto, in basso, mobile o piatta.) Il modo piatto causa nasconde la barra. Un click sulla parte tratteggiata la estenderà e un altro click la farà ritirare di nuovo. Una finestra sulla sinistra mostra i comandi disponibili per essere inseriti nella barra degli strumenti. Una finestra sulla destra mostra, invece, i comandi già presenti nella barra. Un insieme di quattro frecce-pulsanti tra le due sezioni permettono di gestire le selezioni. La freccia destra permette di inserire qualsiasi comando selezionato nel pannello sinistro in quello destro, &ie;, è aggiunto alla barra degli strumenti. La freccia sinistra fa proprio il contrario, rimuovendo ogni comando selezionato nella sezione destra dalla barra. Le frecce su e giù cambiano la posizione di ogni comando selezionato nella finestra destra cambiando anche la posizione del pulsante corrispondente nella barra degli strumenti.

Impostazioni Configura KEdit...

- Questa voce del menu apre una finestra dove diverse impostazioni possono essere modificate.

### Il Menu Aiuto

&help.menu.documentation;

## La finestra delle Preferenze

Selezionado Impostazioni Configura KEdit dal menu appare la finestra delle preferenze. Questa può essere utilizzata per modificare diversi settaggi. Per cambiare le impostazioni disponibili in accordo con varie categorie l'utente sceglie da una lista verticale nel lato sinistro della finestra. Questo significa una serie di cinque pulsanti lungo la casella con i queli l'utente può controllare l'attività. Se si richiama il sistema d'aiuto, set the options to their Default values, accetta and close the dialog by means of the OK button, Apply the current choices to the document without closing the dialog, or Cancel the process. The categories Font, Color, Spelling, and Miscellaneous are detailed below.

### Carattere

Scegliendo questa voce si apre una finestra di dialogo dove l'utente può cambiare quattro impostazioni e vederne gli effetti sul testo d'esempio visualizzato nel rettangolo situato nella parte bassa della finestra. I settaggi sono:

Tipo di carattere:

- Questa casella a scorrimento permette all'utente di selezionare, in base al nome, il carattere desiderato fra vari tipi disponibili. L'aspetto di ogni carattere selezionato può essere visto nel testo d'esempio visualizzato nella parte bassa della finestra.

Stile carattere:

- Questa casella, situata al centro, è usata per scegliere tra quattro stili base come Normale, Corsivo, Grassetto e Grassetto Corsivo. L'aspetto degli stili selezionati può essere visto nel rettangolo situato nella parte bassa della finestra.

Dimensione:

- Questa casella a scorrimento, la più a destra, permette all'utente di cambiare la dimensione del carattere. Più è grande il numero scelto più grande sarà il carattere. Il testo d'esempio visualizzato nel rettangolo in basso visualizza la modifica.

### Colore

Questa sezione fornisce l'accesso a due differenti impostazioni del colore, descritte qui sotto. Ogni settaggio può essere cambiato facendo clic sul pulsante corrispondente. Ci sono speciali pulsanti larghi che rappresentano il colore impostato correntemente. Facendo clic su di uno di essi si richiama una finestra di scelta del colore usato per cambiarlo.

La finestra di scelta del colore fornisce una via facile e grafica per sceglierlo. In alto a sinistra c'è un rettangolo contenente lo spettro dei colori. Nell'immediata destra, c'è una barra verticale che visualizza un intervallo d'intensità dal più scoro in basso al più chiaro in alto. L'utente può selezionare e modificare il colore facendo clic in queste due caselle. Facendo clic nel rettangolo selezioni una particolare combinazione di colori rosso, verde e blu e nella barra verticale selezioni un livello d'intensità (valore). Gli attributi dei vari colori sono visualizzati in un modulo numerico in piccole caselle di testo situate direttamente sotto lo spettro dei colori e l'utente può accorgersi che a ogni modifica del colore, essi variano. Questi attributi includono una combinazione dei colori base (rosso, verde e blu) insieme alla tonalità e al livello di saturazione. In alternativa l'utente può immettere direttamente dei valori in queste caselle. C'è anche un pulsante quadrato al centro della finestra, in basso, che visualizza il colore preso in considerazione ogni volta. A desttra di questo è visualizzato una altra casella chiamata HTML: Questo mostra all'utente il codice del colore che sarebbe utilizzato per specificare un particolare colore visualizzato in codice HTML che è molto utilizzato per le pagine web.

In aggiunta, la finestra di scelta del colore permette la cattura di qualsiasi colore visualizzato attualmente sul desktop o in un altro programma. Fare clic sul pulsante con l'icona del contagocce (situato nel lato destro della finestra) cambia la forma del puntatore del mouse in una specie di mirino. Rifare clic sceglierà gli attributi del colore di qualsiasi colore visualizzato sotto il mirino.

In aggiunta l'utente ha la possibilità di aggiungere qualsiasi colore in una tavolozza di Colors personalizzati facendo clic sull'ampio pulsante chiamato Aggiungi ai colori personalizzati (situato sopra il quadrato). Questo aggiunge il colore corrente alla tavolozza personalizzata. Questa tavolozza ed ogni altra eventualmente disponibile può essere visualizzata usando la casella a comparsa localizzata sopra la tavolozza personale in alto a destra della finestra. Oltre ai colori personalizzati, l'utente può accedere a tavolozze per-impostate.

Usa colori personalizzati

- Come impostazione predefinita &kedit; userà lo schema di colori del tuo sistema. Se è attivato, puoi scegliere un colore di primo piano e sfondo qui sotto.

Colore testo:

- Qui l'utente può specificare il colore usato in &kedit; per il testo.

Colore sfondo:

- Qui l'utente può specificare il colore per lo sfondo di &kedit;.

### Controllo ortografico

Un programma di controllo ortografia è pensato per aiutare l'utente a trovare e correggere eventuali errori d'ortografia. Questa sezione della finestra di configurazione permette il settaggio di alcune impostazioni chiave.

Cra combinazioni radici/affissi non nel dizionario

- Selezionando quest'opzione permetti al controllo d'ortografia di registrare combinazioni correttedi radici di parole con suffissi o prefissi anche se la particolare combinazione non è presente nel database delle parole del dizionario.

Considera parole attaccate come errori d'ortografia

- Selezionando questa opzione il controllo d'ortografia considera errate due o più parole corrette che sono attaccate, &ie;, che non hanno spazi che le separano.

Dizionario:

- In base all'installazione dell'utente, uno o più dizionari di differenti lingue possono essere disponibili. Questa casella a comparsa permette all'utente di scegliere quale lingua il controllo deve usare.

Codifica:

- Ci sono differenti sistemi di codifica usati per associare particolari codici con altrettanti caratteri e simboli. Se l'utente conosce quale codifica sta utilizzando questa casella permette la sua scelta diper permettere al controllo d'ortografia di effettuare il lavoro correttamente.

Client:

- Siccome &kedit; non contiene un suo controllo d'ortografia, deve esserne scelto uno esterno. Questo è il luogo dove l'utente può specificare quale utilizzare.

### Varie

Questa categoria tratta tre differenti proprietà esposte sotto.

A capo automatico:

- A capo automatico è una caratteristica che permette all'editor di creare automaticamente una nuova riga di testo e muovere (a capo) il cursore all'inizio nella nuova riga. La casella a comparsa situata in alto fornisce tre scelte di a capo automatico:

  Disabilita a capo automatico

- Scegliendo questa impedisci all'editor di effettuare ogni a capo automatico. L'utente dovrà creare un nuove righe manualmente ( con il tasto Invio).

A capo dinamico

- Questa scelta fa modificare automaticamente all'editor la lunghezza delle linee per adattarla alla larghezza impostata. In altre parole, più l'utente ingrandisce l'editor più le linee saranno lunghe; più piccolo sarà l'editor più corte saranno.

Alla colonna specificata

- scegliendo questa voce si attiva immediatamente la casella sottostante chiamata Colonna a cui andare a capo:. Qui l'utente può specificare il numero massimo dei caratteri in una riga di testo.

  Ogni carattere (spazi inclusi) occupa una colonna.

Crea copia di sicurezza quando salvi un file

- Questa opzione suggerisce all'editor di rinominare l'ultima versione salvata del documento prima di effettuare il comando `salva`. L'editor compie quest'operazione aggiungendo il simbolo di tilde (~) alla fine del nome del file originale. In questo caso l'utente ha la possibilità di recuperare il documento se per errore ci ha salvato qualcosa sopra.

## Riconoscimenti e licenze

&kedit; Copyright 2000 di Bernd Johannes Wuebben wuebben@math.cornell.edu

Documentazione Copyright 2000 di Thad McGinnis ctmcginnis@compuserve.com.

Questa versione del manuale di &kedit; è basata sull'originale di Bernd Johannes Wuebben wuebben@math.cornell.edu

Traduzione italiana Dario Mancini mncdra@katamail.com

&underFDL; &underGPL;

## Installazione

&install.intro.documentation; &install.compile.documentation;