--- a/Journal/document/root.tex	Sat Jul 27 08:17:54 2013 +0200
+++ b/Journal/document/root.tex	Sat Jul 27 08:23:09 2013 +0200
@@ -41,7 +41,7 @@
 \begin{document}
 
 
-\title{Mechanising Turing Machines and Computability Theory in Isabelle/HOL}
+\title{Turing Machines and Separation Logic:\\ Mechanising Computability Theory in Isabelle/HOL}
 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}}
 \institute{PLA University of Science and Technology, China \and King's College London, UK}
 

--- a/ROOT	Sat Jul 27 08:17:54 2013 +0200
+++ b/ROOT	Sat Jul 27 08:23:09 2013 +0200
@@ -21,13 +21,19 @@
   options [document = pdf, document_output = "..", document_variants = "journal"]
   theories
     "Paper"
+  files
+    "document/root.tex"
 
 session Slides1 in Slides = UTM +
   options [document = pdf, document_output = "..", document_variants = "slides1"]
   theories
     "Slides1"
+  files
+    "document/root.tex"
 
 session Slides2 in Slides = UTM +
   options [document = pdf, document_output = "..", document_variants = "slides2"]
   theories
     "Slides2"
+  files
+    "document/root.tex"