Elbe 1.69

Elbe szerkesztője, a navigátor, szimbólum bővítő, print megtekintő és parancsot processzor esetleg sokféle formális nyelvek. Jelenleg ezeket a nyelveket támogatja: Isabelle elméletek (* .thy), Windows batch (* .bat, * .cmd), GAP algebrai fájlok (* .a),...
Utoljára megtekintett szoftver