# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1400586561 -3600
# Node ID 313acffe63b6d74b848ed262319b5f791440b159
# Parent  9b9f2117561f15ab0d0cc887f698b1a9e1e244c4
updated ROOT file

diff -r 9b9f2117561f -r 313acffe63b6 ROOT
--- a/ROOT	Thu May 15 16:02:44 2014 +0100
+++ b/ROOT	Tue May 20 12:49:21 2014 +0100
@@ -37,3 +37,7 @@
   theories 
     "~~/src/HOL/Library/LaTeXsugar"
     "Paper"
+  document_files
+    "root.bib"
+    "root.tex" 
+