Mercurial Mercurial > hg > pip / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated ROOT file
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 20 May 2014 12:49:21 +0100
changeset 34 313acffe63b6
parent 33 9b9f2117561f
child 35 92f61f6a0fe7
updated ROOT file
ROOT file | annotate | diff | comparison | revisions 
--- 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" 
+
pip