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