coq/tools/beautify-archive, branch master The formal proof system [flags] Remove XML output flag. 2017-08-01T16:42:44+00:00 Emilio Jesus Gallego Arias 2017-06-12T20:12:02+00:00 2def58217686b5083da38778a5ebffb451b1d4d6 This is a second try at removing the hooks for the legacy xml export system which can't currently be tested. It is also not included in the API, so it should either be included in it or this PR be applied. 
This is a second try at removing the hooks for the legacy xml export
system which can't currently be tested.

It is also not included in the API, so it should either be included in
it or this PR be applied.
Make beautify-archive usable on non-GNU systems. 2014-08-21T07:39:02+00:00 Xavier Clerc 2014-08-21T07:33:32+00:00 4943d6b851466c22823a356d3fae7052ea47d663 






Fixing beautification of "thm_token" (missing space) + improvements.
2011-11-16T08:46:27+00:00

herbelin

2011-11-16T08:46:27+00:00

b33c18ba8edc25c7f4b0be62db4e845dc8693a2f

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14654 85f007b7-540e-0410-9357-904b9bb8a0f7





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 +
2008-11-22T14:14:12+00:00

herbelin

2008-11-22T14:14:12+00:00

2f69234e4cf2a1484aa43dd4d033957abb9078d5

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





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