aboutsummaryrefslogtreecommitdiff
path: root/dev/top_printers.ml
AgeCommit message (Collapse)Author
2000-05-18MAJ modifs Inductiveherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@448 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-05-03Ajout de PrintConstr pour debugdelahaye
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@410 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-05-03renommage de certains printersherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@402 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-01-07Restructuration printer et parserherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@270 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-14pretty-printers pour le debuggerfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@251 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-12Ajout pp pattern et rawtermherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@241 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-03pour debugger dans le toplevel ocamlfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@197 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 00:24:41 +0000