Elbe 1.69

Эльба редактор, навигатор, символ расширитель, печать предварительного просмотра и командный процессор для возможно широкого спектра формальных языков. В настоящее время поддерживаются эти языки: Изабель теории (* .thy), пакетные ОС Windows (* .bat, .cmd...