Elbe 1.69

Elbe jest redaktorem, nawigator, symbolem ekspander, przeglądarka plików do druku i procesor poleceń dla możliwie szerokiej gamy języków formalnych. Obecnie obsługiwane są języki: Isabelle teorie (* .thy), wsadowe systemu Windows (* .bat, * cmd), GAP...