Elbe

Elbe 1.69

Elbe on editori, navigaattori, symboli Expander, tulostaa esikatselussa ja komento prosessori mahdollisesti erilaisia ​​virallisia kieliä. Tällä hetkellä nämä kieliä tuetaan: Isabelle teoriat (* .thy), Windows erä (* Bat, * .cmd), GAP algebrallinen...

Lue lisää