5 Commits

Author	SHA1	Message	Date
Andreas Fabri	d11cac3e94	remove unused typedefs	2014-06-27 15:11:39 +02:00
Andreas Fabri	3252e8557f	add missing typename	2014-06-27 12:50:24 +02:00
Andreas Fabri	144d206a75	cleanup of the helper files, and a partial fix of the slicer (which will be red in the testsuite)	2014-06-11 18:16:58 +02:00
Andreas Fabri	223b188f03	Add is_valid(G)	2014-05-30 15:24:51 +02:00
Andreas Fabri	3ad8f65d28	small fixes	2014-05-22 10:36:50 +02:00