Léonard Gérard c4a926f489 Correct Mapfold !! Or at least much more than before. ... Still not sure whether the notion of main_nodes is correct. A parametrized node not used right in the module gets removed. Is that the wanted behaviour ?		2010-08-24 11:07:05 +02:00
..
bad	Add lib/pervasives.epi, tests, tools	2010-06-21 12:11:06 +02:00
good	Correct Mapfold !! Or at least much more than before.	2010-08-24 11:07:05 +02:00
check	$id$ removed.	2010-08-17 23:30:27 +02:00