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>
Wed, 29 Aug 2012 02:47:28 +0100
changeset 135 8c5973b8c3a3
parent 134 6e9c0d53ea69
child 136 fa0ee73ecc02
tuned
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Mon Aug 27 19:35:04 2012 +0100
+++ b/publications.html	Wed Aug 29 02:47:28 2012 +0100
@@ -105,7 +105,7 @@
 <H3>2012</H3>
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk) Journal of Logical
-      Methods in Computer Science, Volume 8 (2:14), 2012.
+      Methods in Computer Science, Volume 8 (2:14), 2012. 35 pages. 
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><b>Priority Inheritance Protocol Proved Correct.</B>
public_html