Elbe

Elbe 1.69

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,...

Per saperne di più
Autor

Autor 0.99

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...