<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="/svnindex.xsl"?>
<!DOCTYPE svn [
  <!ELEMENT svn   (index)>
  <!ATTLIST svn   version CDATA #REQUIRED
                  href    CDATA #REQUIRED>
  <!ELEMENT index (updir?, (file | dir)*)>
  <!ATTLIST index name    CDATA #IMPLIED
                  path    CDATA #IMPLIED
                  rev     CDATA #IMPLIED
                  base    CDATA #IMPLIED>
  <!ELEMENT updir EMPTY>
  <!ATTLIST updir href    CDATA #REQUIRED>
  <!ELEMENT file  EMPTY>
  <!ATTLIST file  name    CDATA #REQUIRED
                  href    CDATA #REQUIRED>
  <!ELEMENT dir   EMPTY>
  <!ATTLIST dir   name    CDATA #REQUIRED
                  href    CDATA #REQUIRED>
]>
<svn version="1.10.2 (r1835932)"
     href="http://subversion.apache.org/">
  <index rev="4730" path="/trunk" base="cascade">
    <updir href="../"/>
    <file name=".gitignore" href=".gitignore" />
    <dir name="c" href="c/" />
    <dir name="core" href="core/" />
    <dir name="cvc4-plugin" href="cvc4-plugin/" />
    <dir name="root" href="root/" />
    <dir name="site" href="site/" />
    <dir name="spl" href="spl/" />
    <dir name="z3-plugin" href="z3-plugin/" />
  </index>
</svn>
