main clear / load / save
Hilfe Roadmap Über

Ursprünglich entstanden als einfache Syntaxchecker s "tks.AL" und "tks.FO" für die Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Es wird keine Haftung für Schäden an Soft- oder Hardware, Vermögen oder Gesundheit übernommen, welche durch das Benutzen oder Nichtbenutzen des Programms entstehen. Es gibt keine Garantie dafür, dass die Nutzung zu einem bestimmten Zeitpunkt möglich ist, noch das die gelieferten Ergebnisse, auch nicht zufällig, richtig sind. Dies gilt insbesondere bei der Nutzung zur Lösung von Übungsaufgaben.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de


changelog

9. Juli 2018
Umzug zur HU
Umstellung auf php7
known bugs:
none

12. Dezember 2014
Roadmap
known bugs:
none

28. Juli 2014
Anpassung an Syntax mit PHP-upgrade
known bugs:
none

9. April 2014
BugFix: Kleinere Fehler bei der Erzeugung des MathML-Codes
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
Manchmal ignoriert Mathml im Firefox den wechsel zu MATHBOLD.

8. April 2014
BugFix: Falls nötig, wird MathJax eingebunden, so dass der IE (und andere) auch MathML können.
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
Manchmal ignoriert Mathml im Firefox den wechsel zu MATHBOLD.

16. April 2014
Setting Erreichbarkeit geändert.
Setting zurücksetzen.
BugFix: Anzeige der Ergebnisrelation
BugFix: Kantenauswahl in der Toolbox des GraphVizArds
BugFix: Manchmal funktionierte exklusives Färben in der Toolbox des GraphVizArds nicht korrekt.
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
Manchmal ignoriert Mathml im Firefox den wechsel zu MATHBOLD.
IE und MathPlayer-Support (siehe [link])

23. September 2013
GraphVizArd
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
IE und MathPlayer-Support (siehe [link])

10. April 2013
Beweisbaum als svg hinter links bei Berechnung des Fixpunktes und der Anfrage
Anpassungen mit bescheidenen Erfolg für IE 9 mit MathPlayer (siehe [link])
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
IE und MathPlayer-Support (siehe [link])

9. April 2013
Behandlung Boolsche Anfragen
Fertigstellen editieren Program
to do:
Laden/speichern eigener Konfigurationen
Mehr Infos zu den vorgegebenen Settings
known bugs:
none

27. März 2013
Laden erster Settings
Editieren der Struktur
Berechnen von Anfragen
to do:
Fertigstellen editieren Program
gesondert behandeln
known bugs:
none

26. März 2013
Wechsel von Latex zu Mathml
known bugs:
none

15. März 2013
Fixpunktberechnung
known bugs:
none

13. März 2013
Erste Funktionalitäten
known bugs:
none