Autore è uno strumento di editing con una struttura di formattazione (grassetto, corsivo, sottolineato). Ogni articolo è composto da un'intestazione, sottotitolo e il corpo. È inoltre possibile aggiungere un'immagine per ogni articolo. Fino a tre...
Agenda è un ricordo semplice e piccolo per compleanni e altri eventi. Agenda è multilingue e riproduce file audio o codici Morse se lo si desidera - anche senza scheda audio. Inoltre, la sintesi vocale integrato in grado di leggere gli eventi effettivi a...
Elba è un editor, navigatore, simbolo di espansione, visualizzatore di stampa e processore dei comandi per, eventualmente, una vasta gamma di linguaggi formali. Attualmente queste sono le lingue supportate: Isabelle teorie (* .thy), Windows lotti (* .bat,...
