Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing beautification of "thm_token" (missing space) + improvements. | herbelin | 2011-11-16 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14654 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Fixed bug in VernacExtend printing + missing vernacular printing rules + | herbelin | 2008-11-22 |
revival of option -translate as a -beautify option. PS: compilation checked against 11610. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11618 85f007b7-540e-0410-9357-904b9bb8a0f7 |