-
François Bobot authored
ajout aux fonctions de pretty un argument ?printer pour que why3 puisse creer un nouveau printer pour chaque fichier
11525d04
ajout aux fonctions de pretty un argument ?printer pour que why3 puisse creer un nouveau printer pour chaque fichier