Elbe

Elbe 1.69

Elbės yra redaktorius, navigatorius, simbolis Expander, spausdinimo peržiūros priemonė ir valdymo procesorius galbūt įvairių formalių kalbų. Šiuo metu šios kalbos yra remiamos: Isabelle teorijos (* .thy), "Windows partijos (* .bat, * .cmd), GAP algebrinių...

Skaityti daugiau