Cleanup.

examples/technical_report/Isabelle_DOF-Manual/ROOT

@@ -21,13 +21,9 @@ session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
     "figures/Dogfood-Intro.png"
     "figures/Dogfood-IV-jumpInDocCLass.png"
     "figures/Dogfood-V-attribute.png"
-    "figures/IsaArchGlobal.png"
-    "figures/IsaArchInteract.png"
-    "figures/IsaArch.odp"
     "figures/isabelle-architecture.pdf"
     "figures/isabelle-architecture.svg"
     "figures/isadof.png"
-    "figures/PIDE-interaction.pdf"
     "figures/srac-as-es-application.png"
     "figures/srac-definition.png"
     "figures/Isabelle_DOF-logo.pdf"