# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1374906189 -7200
# Node ID 7d29c3c09bea70bb8d93b1678c810ca7ee52c9a0
# Parent  02b6fab379bae0e5bf844d22a9672a3d2c26266b
updated

diff -r 02b6fab379ba -r 7d29c3c09bea Journal/document/root.tex
--- 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}
 
diff -r 02b6fab379ba -r 7d29c3c09bea ROOT
--- 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"