5 Commits

Author	SHA1	Message	Date
ccremers	b6d8930438	- More non-linux compatibility stuff.	2006-08-02 09:32:29 +00:00
ccremers	0c1684e1f2	- Windows-compatible (by disabling, duh..)	2006-08-02 09:27:09 +00:00
ccremers	cd2ef14e4e	- [Syntactical changes only] ... Fixed the indentation of some files.	2005-06-02 09:40:05 +00:00
ccremers	9a5e9d674a	- Removed some debugging output.	2005-01-11 10:03:34 +00:00
ccremers	e0e56964d1	- Added a --timer=x switch to abort Arachne proofs after x seconds.	2005-01-05 15:29:27 +00:00