[PPL-devel] ppl/src Grid_public.cc

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-05-25 21:18:45

Modified files:
	src            : Grid_public.cc 

Log message:
	In OK, take the extra copy of the generator system out of the
	minimized test, Use "generators" instead of "parameters", and print
	the minimized congruence system (instead of the original) in the
	congruence minimized test.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.24&r2=1.1.2.25