From eefc870f4103e222b1f4e1802222f56b43cec1b8 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 11 Aug 2006 17:29:18 +0000 Subject: [PATCH] - Better Aboet. ---This line, and those below, will be ignored-- M gui/Gui/About.py --- gui/Gui/About.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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

+
+

Scyther

+ Version 1.0-beta 4 +

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

+
''' def __init__(self,parent):