Mercurial Mercurial > hg > public_html / 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.
tuned
authorChristian Urban <urbanc@in.tum.de>
Thu, 29 Dec 2011 12:43:27 +0000
changeset 61 cb2873d5bb43
parent 60 84a2e0fb488b
child 62 f16d3ef4d999
tuned
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Thu Dec 29 12:42:02 2011 +0000
+++ b/publications.html	Thu Dec 29 12:43:27 2011 +0000
@@ -89,7 +89,7 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
-      (with Kaliszyk) Accepted for publication in the journal on Logical
+      (with Kaliszyk) Accepted for publication in the Journal of Logical
       Methods in Computer Science.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
public_html