Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							a87453f84a 
							
						 
					 
					
						
						
							
							Further documentation updates wrt email addresses and URLs.  
						
						 
						
						
						
					 
					
						2020-10-28 08:53:49 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							2003e97ec8 
							
						 
					 
					
						
						
							
							Further documentation updates.  
						
						 
						
						
						
					 
					
						2020-10-28 08:49:32 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							6f51ad8b2a 
							
						 
					 
					
						
						
							
							Updated copyright year to 2020.  
						
						 
						
						
						
					 
					
						2020-10-28 08:43:08 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							34fd418264 
							
						 
					 
					
						
						
							
							Updated wxPython check, enforcing at least wxPython 4.0 now.  
						
						 
						
						
						
					 
					
						2020-10-28 08:42:09 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							7c00ddb2a9 
							
						 
					 
					
						
						
							
							Some updates to the documentation regarding Python 3 and wxPython 4.  
						
						 
						
						... 
						
						
						
						This work is not complete and the install and build instructions need to be sanity checked and updated for modern versions of all three platforms. 
						
					 
					
						2020-10-28 08:41:44 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							f68d52fba5 
							
						 
					 
					
						
						
							
							Final wxPython4 warning fixed that arose from an unused overwritten function.  
						
						 
						
						
						
					 
					
						2020-10-27 23:51:42 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							7c5bdc431c 
							
						 
					 
					
						
						
							
							Fixing some wxPython4 errors for highlighting spdl errors.  
						
						 
						
						
						
					 
					
						2020-10-27 23:46:03 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							8843e48bfc 
							
						 
					 
					
						
						
							
							Python3 refix.  
						
						 
						
						
						
					 
					
						2020-10-27 23:38:58 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							85d646b133 
							
						 
					 
					
						
						
							
							Further wxPython4 fixes.  
						
						 
						
						
						
					 
					
						2020-10-27 23:38:48 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							9dd73c2e38 
							
						 
					 
					
						
						
							
							wxPython4 fix.  
						
						 
						
						
						
					 
					
						2020-10-27 23:34:25 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							d6fbaed188 
							
						 
					 
					
						
						
							
							Fixing wxPython4 change.  
						
						 
						
						
						
					 
					
						2020-10-27 23:34:11 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							8dc7b80bd3 
							
						 
					 
					
						
						
							
							Modernising some of the shell command execute code.  
						
						 
						
						
						
					 
					
						2020-10-27 22:11:51 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							1e46eb3751 
							
						 
					 
					
						
						
							
							Upgrading further parts to wxPython4.  
						
						 
						
						
						
					 
					
						2020-10-27 22:11:24 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							38a0fba212 
							
						 
					 
					
						
						
							
							Further Python3 fixes.  
						
						 
						
						
						
					 
					
						2020-10-27 22:10:55 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							3a6041ccac 
							
						 
					 
					
						
						
							
							Conversion to python3, using 2to3.  
						
						 
						
						
						
					 
					
						2020-10-27 22:09:03 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							eecf68dc98 
							
						 
					 
					
						
						
							
							Fixing obsolete constants usage for wxPython.  
						
						 
						
						
						
					 
					
						2020-02-25 22:50:08 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Thomas Fleming 
							
						 
					 
					
						
						
						
						
							
						
						
							44e5e340be 
							
						 
					 
					
						
						
							
							Fix deprecated class usage and function calls.  
						
						 
						
						
						
					 
					
						2020-02-25 22:50:08 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Thomas Fleming 
							
						 
					 
					
						
						
						
						
							
						
						
							92aa826bf3 
							
						 
					 
					
						
						
							
							Fix wxPython SpashScreen error at startup.  
						
						 
						
						
						
					 
					
						2020-02-25 22:50:08 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							bf4bd3e07b 
							
						 
					 
					
						
						
							
							Forcing Python2 if called directly.  
						
						 
						
						
						
					 
					
						2020-02-25 22:50:08 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							6ac8d3f822 
							
						 
					 
					
						
						
							
							Removing duplicate install file.  
						
						 
						
						
						
					 
					
						2020-02-24 21:50:02 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							6f881d0b54 
							
						 
					 
					
						
						
							
							Removing deprecated and unneeded wxpython construction.  
						
						 
						
						
						
					 
					
						2019-01-03 22:53:53 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Christophe Kamphaus 
							
						 
					 
					
						
						
						
						
							
						
						
							faf6c57069 
							
						 
					 
					
						
						
							
							Added a new-file command with standard new-file keyboard shortcut  
						
						 
						
						
						
					 
					
						2016-02-28 23:33:18 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Christophe Kamphaus 
							
						 
					 
					
						
						
						
						
							
						
						
							53de782d3c 
							
						 
					 
					
						
						
							
							Changed default filename to empty string  
						
						 
						
						... 
						
						
						
						When trying to save a new file it opens the save-as dialog 
						
					 
					
						2016-02-28 23:24:20 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Christophe Kamphaus 
							
						 
					 
					
						
						
						
						
							
						
						
							b386274738 
							
						 
					 
					
						
						
							
							Added standard keyboard shortcuts for opening and saving files  
						
						 
						
						
						
					 
					
						2016-02-28 23:21:24 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Christophe Kamphaus 
							
						 
					 
					
						
						
						
						
							
						
						
							94f7b2ce43 
							
						 
					 
					
						
						
							
							Added standard keyboard shortcuts for closing windows  
						
						 
						
						
						
					 
					
						2016-02-28 23:18:21 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							2116fde993 
							
						 
					 
					
						
						
							
							Merge branch 'master' of github.com:cascremers/scyther  
						
						 
						
						
						
					 
					
						2015-11-27 20:58:04 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							4d8c8a7336 
							
						 
					 
					
						
						
							
							Minor fix.  
						
						 
						
						
						
					 
					
						2015-05-02 14:20:42 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							ba513ea45d 
							
						 
					 
					
						
						
							
							Fixing small wxPython error.  
						
						 
						
						
						
					 
					
						2014-07-14 16:56:48 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							4f252d55a7 
							
						 
					 
					
						
						
							
							Bugfix in case commandline text is empty.  
						
						 
						
						
						
					 
					
						2014-06-10 14:55:13 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							7f64250e97 
							
						 
					 
					
						
						
							
							Updated version of the manual.  
						
						 
						
						
						
					 
					
						2014-02-18 12:32:24 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							b6517dd41e 
							
						 
					 
					
						
						
							
							BUGFIX: Fixing font selection commands for wxPython.  
						
						 
						
						... 
						
						
						
						The previous way of selecting fonts was an obsolete hack. Some recent versions of wxPython
ran into problems. Now updated to reflect the correct wxPython font selection conventions.
Bug report and fix suggestion by S. Dismore. 
						
					 
					
						2014-01-31 11:31:41 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							f9a34f4de5 
							
						 
					 
					
						
						
							
							BUGFIX: Updating hashfunction usage in protocol files to new conventions.  
						
						 
						
						... 
						
						
						
						After the new function implementation, the 'Function' type is no longer one-way by default.
However, many protocol description files relied on this implicit assumption.
The solution is to use 'hashfunction' declarations instead to model one-wayness.
Original bug report by Binh Thanh Nguyen. 
						
					 
					
						2014-01-08 15:13:16 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							1a9a8714a6 
							
						 
					 
					
						
						
							
							Merge branch 'master' of /home/cas/Dropbox/repos/scyther  
						
						 
						
						
						
					 
					
						2013-12-23 13:12:03 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							a20f3760e7 
							
						 
					 
					
						
						
							
							Updating URLs.  
						
						 
						
						
						
					 
					
						2013-12-23 13:11:48 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							52ec943b76 
							
						 
					 
					
						
						
							
							Updating markdown with relative links.  
						
						 
						
						
						
					 
					
						2013-12-13 23:02:27 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							18b35a3bac 
							
						 
					 
					
						
						
							
							Added further information.  
						
						 
						
						
						
					 
					
						2013-12-13 22:58:26 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							5a7ed5be4c 
							
						 
					 
					
						
						
							
							Further fixes to markdown of installation file.  
						
						 
						
						
						
					 
					
						2013-12-13 22:55:09 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							04f4ee6b53 
							
						 
					 
					
						
						
							
							Further minor fixes.  
						
						 
						
						
						
					 
					
						2013-12-13 22:49:41 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							d79135fd06 
							
						 
					 
					
						
						
							
							Updated installation markdown file.  
						
						 
						
						
						
					 
					
						2013-12-13 22:47:47 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							28c7c12db5 
							
						 
					 
					
						
						
							
							More experiments with Markdown.  
						
						 
						
						
						
					 
					
						2013-12-13 22:33:10 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							0ccbe7ce06 
							
						 
					 
					
						
						
							
							Updated changelog.  
						
						 
						
						
						
					 
					
						2013-12-12 10:01:22 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							6fc0335f05 
							
						 
					 
					
						
						
							
							Updated manual.  
						
						 
						
						
						
					 
					
						2013-12-12 09:43:55 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							1a9d088aa8 
							
						 
					 
					
						
						
							
							Updated installation and compilation notes.  
						
						 
						
						
						
					 
					
						2013-12-11 16:48:20 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							a7230702cb 
							
						 
					 
					
						
						
							
							Cleanup of obsolete module import.  
						
						 
						
						
						
					 
					
						2013-12-09 14:25:11 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							c9b1d08f4f 
							
						 
					 
					
						
						
							
							Hack for Windows users to compensate for Graphviz "feature".  
						
						 
						
						... 
						
						
						
						Recent versions of Graphviz no longer set the PATH variable on Windows.
Hence Scyther can fail to find dot.exe even though Graphviz was appropriately
installed.
This patch is a hack to try and locate dot.exe in the more common locations.
We currently have a hardcoded search through:
  C:\Program Files\Graphviz*
  C:\Program Files (x86)\Graphviz*
This is clearly fragile. Obviously, nobody should be solving Graphviz' problem
in such an ugly way. Change drives or languages and it stops working.
Until Graphviz provides at least an alternative environment variable (GVPATH?)
this hack will help the bulk of our users to get things up and running smoothly. 
						
					 
					
						2013-12-09 14:24:57 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							7e3f0ed73b 
							
						 
					 
					
						
						
							
							BUGFIX: Reverted use of shlex.  
						
						 
						
						... 
						
						
						
						Shlex is only intended to work for Unix-like shells, and using it on
Windows causes problems. We now resort to simply always using the shell
on Unix-like platforms (as our command input is always a string, and not
an array). On Windows, the string input is always okay, even when not
using the shell.
This is a follow-up to a bug report by M. Kammerer on failing Windows
installs. 
						
					 
					
						2013-12-09 09:07:47 +00:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							1b04bf9274 
							
						 
					 
					
						
						
							
							Updated changelog.  
						
						 
						
						
						
					 
					
						2013-10-13 10:34:49 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							8f9dc0cb83 
							
						 
					 
					
						
						
							
							Updated manual.  
						
						 
						
						
						
					 
					
						2013-10-12 20:12:01 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							d06247fcfe 
							
						 
					 
					
						
						
							
							Updating time stamps for next release.  
						
						 
						
						
						
					 
					
						2013-10-05 23:56:12 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
							
							
								 
								Cas Cremers 
							
						 
					 
					
						
						
						
						
							
						
						
							2ee202b1ae 
							
						 
					 
					
						
						
							
							Updated Denning-Sacco-Lowe note.  
						
						 
						
						
						
					 
					
						2013-08-23 15:15:19 +02:00