| author | Christian Urban <christian dot urban at kcl dot ac dot uk> | 
| Sat, 22 Dec 2012 14:15:32 +0000 | |
| changeset 172 | b82bb37cf1d3 | 
| parent 171 | 2b296c092188 | 
| child 173 | db02820fd029 | 
| publications.html | file | annotate | diff | comparison | revisions | 
--- a/publications.html Sat Dec 22 14:14:04 2012 +0000 +++ b/publications.html Sat Dec 22 14:15:32 2012 +0000 @@ -116,7 +116,7 @@ [<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 and also a typo in the definition of schs. Both is corrected + of detached and also a typo in the definition of schs. Both are corrected in the version above.) </TD> </TR>