albop/dolo — pull request #19 by christophe-gouel (2012-12-27 08:04:25+00:00)
Title: Dev/dolo recs

Voici mes modifications pour dolo-recs:
- simplification de dolo-recs.py
- nouveau fichier compiler_recs.py qui ne gère que RECS et que j'ai nettoyé, documenté et étendu pour avoir un output plus riche.
- suppression pour dolo-recs du message d'avertissement relatif à pretty printing.