Elbe 1.69

Έλβα είναι ένας συντάκτης, πλοηγός, σύμβολο επέκτασης, προεπισκόπησης εκτύπωσης και επεξεργαστή εντολών για πιθανώς μια ευρεία ποικιλία των τυπικών γλωσσών. Επί του παρόντος, οι εν λόγω γλώσσες υποστηρίζονται: Isabelle θεωρίες (* .thy), τα Windows παρτίδα...