# HG changeset patch
# User fahad
# Date 1423442785 0
# Node ID 26b71a36f55f5f7840bcf22c7a44ac9639969992
# Parent  2cdbab0378617cadadeec9a564ce789335d4439f
test

diff -r 2cdbab037861 -r 26b71a36f55f thys/Test.txt
--- a/thys/Test.txt	Sat Jan 31 18:21:03 2015 +0000
+++ b/thys/Test.txt	Mon Feb 09 00:46:25 2015 +0000
@@ -1,1 +1,3 @@
 test
+test file
+
diff -r 2cdbab037861 -r 26b71a36f55f thys/Test.txt~
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys/Test.txt~	Mon Feb 09 00:46:25 2015 +0000
@@ -0,0 +1,1 @@
+test
diff -r 2cdbab037861 -r 26b71a36f55f thys/new test
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys/new test	Mon Feb 09 00:46:25 2015 +0000
@@ -0,0 +1,1 @@
+ssh://fahad@talisker.inf.kcl.ac.uk//Users/urbanc/HGREPOS/lexing