Agenda ist eine einfache und kleine Erinnerung für Geburtstage und andere Veranstaltungen. Agenda ist mehrsprachig und spielt Audio-Dateien oder Morse-Codes, falls gewünscht - auch ohne Soundkarte. Darüber hinaus kann die integrierte Sprachsynthese die...
Autor ist ein Bearbeitungswerkzeug mit einer Formatierungseinrichtung (fett, kursiv, unterstrichen). Jeder Artikel besteht aus Header, subheader und Körper. Sie können auch ein Bild zu jedem Artikel hinzufügen. Bis zu drei Artikel können bearbeitet werden...
Elbe ist ein Editor, Navigator, Symbol Expander, Druckvorschau und Befehlsprozessor für möglicherweise eine Vielzahl von formalen Sprachen. Derzeit werden diese Sprachen werden unterstützt: Isabelle Theorien (* .thy), Windows-Batch (* .bat, * .cmd), GAP...
