Elbe 1.69

Elbe er en redaktør, navigatør, symbol ekspander, utskriftsforhåndsvisningen og kommando prosessor for muligens en rekke formelle språk. Foreløpig følgende språk støttes: Isabelle teorier (* .thy), Windows batch (* .bat, * CMD), GAP algebraiske filer (*...
Nylig viste programvare