diff -r f754a10875c7 -r c840a99a3e05 thys/ROOT
--- a/thys/ROOT	Tue Oct 10 11:31:47 2017 +0100
+++ b/thys/ROOT	Wed Oct 25 12:18:44 2017 +0100
@@ -25,6 +25,7 @@
   theories 
     "~~/src/HOL/Library/LaTeXsugar"
     "Paper"
+    "PaperExt"
   document_files
     "root.bib"
     "root.tex"