2 Commits

Author	SHA1	Message	Date
ccremers	3ee392ca08	- Updated many protocols according to the tests.	2004-10-18 13:45:58 +00:00
ccremers	db52ec77e6	- Distinguishing example for prec sets computation; try using --pp=100, ... possibly with -r2.	2004-07-25 15:29:03 +00:00