Elbe 1.69

Elbe är redaktör, navigator, symbol expander, skriva ut förhandsgranskare och kommando processor för eventuellt en mängd olika formella språk. För närvarande följande språk stöds: Isabelle teorier (* .thy), Windows batch (* .bat, * .cmd), GAP algebraiska...
Senast visade programvara