Elbe 1.69

Elba es un editor, navegador, símbolo de expansión, vista previa de impresión y el procesador de comandos para, posiblemente, una amplia variedad de lenguajes formales. Actualmente estos idiomas están soportados: teorías Isabelle (* .thy), lotes de...
Aplicaciones recientemente vistos