Elbe 1.69

Elbe er en editor, navigator, symbol expander, print fremviser og kommando processor til eventuelt en bred vifte af formelle sprog. I øjeblikket disse sprog understøttes: Isabelle teorier (* .thy), Windows batch (* .bat, * .cmd), GAP algebraiske filer (*...
For nylig viste Apps