|
518.
|
|
|
Pre Processor Pretty Printer for OCaml
|
|
|
Summary
|
|
|
|
strumento di pre-elaborazione per belle stampe per OCaml
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: camlp4
|
|
519.
|
|
|
This package contains the basic CamlP4 executables and libraries for pre-processing and pretty-printing OCaml sources both interactively and in a batch fashion.
|
|
|
Description
|
|
|
|
Questo pacchetto contiene gli eseguibili CamlP4 di base e le librerie per la pre-elaborazione e la creazione di belle stampe per i sorgenti OCaml in modalità interattiva e non.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: camlp4
|
|
520.
|
|
|
Pre Processor Pretty Printer for OCaml - classical version
|
|
|
Summary
|
|
|
|
strumento di pre-elaborazione per belle stampe per OCaml - versione classica
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: camlp5
|
|
521.
|
|
|
CamlP4 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions).
|
|
|
Description
|
|
|
|
CamlP4 è un strumento di pre-elaborazione per belle stampe per Objective Caml. Offre strumenti per sintassi (analizzatori e grammatiche dei flussi) e la capacità di modificare la sintassi reale del linguaggio (citazioni, estensioni della sintassi).
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: camlp5
|
|
522.
|
|
|
This package contains the "classical" version of CamlP4 executables and libraries for pre-processing and pretty-printing OCaml sources both interactively and in a batch fashion. The "classical" version is the implementation of CamlP4 which used to be distributed with OCaml before the release of version 3.10.
|
|
|
Description
|
|
|
|
Questo pacchetto contiene la versione "classica" delle librerie e degli eseguibili CamlP4 per la pre-elaborazione e belle stampe di sorgenti OCaml in modalità sia non interattiva sia interattiva. La versione "classica" è l'implementazione di CamlP4 che era in passato distribuita con OCaml prima del rilascio della versione 3.10.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: camlp5
|
|
523.
|
|
|
interface for mathematical applications
|
|
|
Summary
|
|
|
|
Interfaccia per applicazioni matematiche
|
|
Translated and reviewed by
Claudio Arseni
|
|
|
|
Located in
Package: cantor
|
|
524.
|
|
|
Cantor supports various mathematical applications as backends (provided in external packages):
* KAlgebra (cantor-backend-kalgebra)
* Maxima Computer Algebra System (cantor-backend-maxima)
* Sage Mathematics Software (cantor-backend-sage)
|
|
|
Description
|
|
|
represents a line break.
Start a new line in the equivalent position in the translation.
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
Cantor supporta varie applicazioni matematiche come backend (fornite in pacchetti esterni):
* KAlgebra (cantor-backend-kalgebra)
* Maxima Computer Algebra System (cantor-backend-maxima)
* Sage Mathematics Software (cantor-backend-sage)
|
|
Translated by
Paolo Rotolo
|
|
Reviewed by
Gianfranco Frisani
|
|
|
|
Located in
Package: cantor
|
|
525.
|
|
|
KAlgebra backend for Cantor
|
|
|
Summary
|
|
|
|
Backend di KAlgebra per Cantor
|
|
Translated by
Alessio Buccoliero
|
|
Reviewed by
Claudio Arseni
|
|
|
|
Located in
Package: cantor-backend-kalgebra
|
|
526.
|
|
|
Cantor is an application to allow you to you use your favorite mathematical applications from within an elegant KDE-integrated worksheet interface. It provides dialogs to assist with common tasks and allows you to share your worksheets with others.
|
|
|
Description
|
|
|
|
Cantor è un'applicazione che permette di usare le proprie applicazioni matematiche dall'interno di un'elegante interfaccia a foglio di calcolo integrata in KDE. Fornisce finestre di dialogo per assistere nelle attività comuni e permette di condividere con altri i propri fogli di calcolo.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: cantor-backend-kalgebra
Package: cantor
|
|
527.
|
|
|
This package provides the backend for using KAlgebra (http://edu.kde.org/kalgebra) in Cantor.
|
|
|
Description
|
|
|
|
Questo pacchetto fornisce il backend per usare KAlgebra (http://edu.kde.org/kalgebra) in Cantor.
|
|
Translated by
Paolo Rotolo
|
|
Reviewed by
Claudio Arseni
|
|
|
|
Located in
Package: cantor-backend-kalgebra
|