diff --git a/gui/Gui/About.py b/gui/Gui/About.py index d06aba8..69dd167 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -16,7 +16,10 @@ class AboutScyther(wx.Dialog): text = '''
-Scyther is an automatic tool for the verification and @@ -34,6 +37,7 @@ class AboutScyther(wx.Dialog): Credits: Cas Cremers (Scyther theory, backend, and main GUI code), Gijs Hollestelle (Python wrapper for Scyther XML output).
+