From 44f89d8e78039a4dd21e863c1ce3c7d49de353b7 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Mon, 11 Jun 2007 14:20:53 +0200 Subject: [PATCH] Added GPL 2 notice in the 'about' box. --- gui/Gui/About.py | 68 +++++++++++++++++++++++++++++++----------------- 1 file changed, 44 insertions(+), 24 deletions(-) diff --git a/gui/Gui/About.py b/gui/Gui/About.py index e70f0a6..7ec2f17 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -56,30 +56,50 @@ class AboutScyther(wx.Dialog): self.text = ''' - -

Scyther : $VERSION

- -

- Scyther is an automatic tool for the verification and - falsification of security protocols. -

-

- Scyther and Scyther GUI developed by - Cas Cremers 2004-2007. -

-

- For news and updates visit the Scyther pages at - - http://people.inf.ethz.ch/cremersc/scyther/index.html -

-

- $DETAILS -

-

- Credits: Cas Cremers (Scyther theory, backend, and main GUI - code), Gijs Hollestelle (Python parser for Scyther XML output). -

- + +
Scyther : $VERSION
+ +

+ Scyther is an automatic tool for the verification and + falsification of security protocols. +

+

+ For news and updates visit the Scyther pages at + + http://people.inf.ethz.ch/cremersc/scyther/index.html +

+
License
+

+ Scyther : An automatic verifier for security protocols.
+ Copyright (C) 2007 Cas Cremers +

+

+ This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License + as published by the Free Software Foundation; either version 2 + of the License, or (at your option) any later version. +

+

+ This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. +

+

+ You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. +

+
Backend version
+

+ $DETAILS +

+
Credits
+

+ Cas Cremers (Scyther theory, backend, and main GUI + code), Gijs Hollestelle (Python parser for Scyther XML output). +

+ ''' if mybasedir: