Elbe 1.69
Elbe is een editor, navigator, symbool expander, print previewer en command processor voor eventueel een breed scala van formele talen. Momenteel de volgende talen worden ondersteund: Isabelle theorieën (* .thy), Windows batch (* .bat, * .cmd), GAP...
