Georges Dupéron 8cca62fb83 Removed (require (submod ".." doc)) used to make the docs seen by the coverage tool, instead patched the coverage tool so that it can run multiple modules. Make works.		2016-01-15 13:57:46 +01:00
..
multi-id.lp2.rkt	Removed (require (submod ".." doc)) used to make the docs seen by the coverage tool, instead patched the coverage tool so that it can run multiple modules. Make works.	2016-01-15 13:57:46 +01:00
type-expander.lp2.rkt	Removed (require (submod ".." doc)) used to make the docs seen by the coverage tool, instead patched the coverage tool so that it can run multiple modules. Make works.	2016-01-15 13:57:46 +01:00