default.xml

<manifest>
  <remote name="projects" fetch="../sel4proj"/>
  <remote name="verification" fetch="."/>
  
  <default remote="verification" revision="master"/>
  
  <project name="HOL" path="HOL4" remote="projects" revision="3f7004dd05c08c5551cb3ab2dbfe6eccdb876a19" upstream="successful-decompile" dest-branch="successful-decompile"/>
  <project name="graph-refine" revision="4e83cd93e2a4744f19bf3f39fb1313753c97bbee" upstream="master" dest-branch="master"/>
  <project name="isabelle" revision="refs/tags/Isabelle2020" dest-branch="ts-2020"/>
  <project name="l4v" revision="008969fc02b2cfbddd363bee65cc0d3da4a833a8" upstream="master" dest-branch="master"/>
  <project name="polyml" path="HOL4/polyml" remote="projects" revision="62a56474f04a1f002ab71b1dcc173848ad94aa02" upstream="successful-decompile" dest-branch="successful-decompile"/>
  <project name="seL4" revision="fd7a848b59b55a7865439028879c61dc803fc471"/>
  </manifest>