typos
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 22 Dec 2012 14:14:04 +0000
changeset 171 2b296c092188
parent 170 a30bbb56c9cc
child 172 b82bb37cf1d3
typos
Publications/itp-12.pdf
publications.html
Binary file Publications/itp-12.pdf has changed
--- a/publications.html	Thu Dec 20 13:31:05 2012 +0000
+++ b/publications.html	Sat Dec 22 14:14:04 2012 +0000
@@ -116,7 +116,8 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
 
       (In the published version is a bogus sentence after the definition 
-       of detached. This error is corrected in the version above.)
+       of detached and also a typo in the definition of schs. Both is corrected
+       in the version above.)
 </TD>
 </TR>