54 Commits

Author	SHA1	Message	Date
ccremers	771fa8cc92	- Some more interface improvements. ... - Hardcoded reference to wiki pages.	2005-04-15 14:31:32 +00:00
ccremers	1f8d9dbe5e	- Performad a big cleanup of the switches, making the resulting list more compact and more useful. ... * Hiding of 'discouraged' options: these should not be used by e.g. students. * Hiding of 'unimportant' options: not harmful, but not often used either.	2005-04-15 10:04:05 +00:00
ccremers	3ba39a3a51	- Removed some older debug stuff.	2005-04-10 15:40:33 +00:00
ccremers	738a2b5859	- Rewrote complete switch code. Scyther now no longer depends on ... argtable2. Great.	2005-04-10 15:30:47 +00:00