Autor

Autor 0.99

Autor es una herramienta de edición con una instalación de formato (negrita, cursiva, subrayado). Cada artículo se compone de encabezado, subtítulo y el cuerpo. También puede agregar una imagen para cada artículo. Hasta tres artículos pueden ser editados...

Elbe

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...

Leer más