coq/toplevel/utils, branch master The formal proof system Moving XML handling to lib directory 2011-11-24T13:09:24+00:00 ppedrot 2011-11-24T13:09:24+00:00 1f26b8591f3698699ee2143f5244a5d57243e283 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14723 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14723 85f007b7-540e-0410-9357-904b9bb8a0f7
Fixed xml-light handling of whitespace not compliant with XML standard: it stripped leading line returns in front of CDATA. 2011-11-07T11:07:35+00:00 ppedrot 2011-11-07T11:07:35+00:00 08adc88038688078c9b3e141620d8c320685e04a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14643 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14643 85f007b7-540e-0410-9357-904b9bb8a0f7
Added XML manipulation basics (modified from xml-light) 2011-11-06T00:15:13+00:00 ppedrot 2011-11-06T00:15:13+00:00 cd7f7668cb14035a24c9efd6819bf1a4e9cb5428 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14631 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14631 85f007b7-540e-0410-9357-904b9bb8a0f7