-
Guillaume Melquiond authored
Modify the Coq printer so that all the declarations (rather than just queries) are taken into account when updating a file.
2199b41d
Modify the Coq printer so that all the declarations (rather than just queries) are taken into account when updating a file.