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.
updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Fri, 23 Dec 2022 10:36:24 +0000
changeset 624 5d94313977b1
parent 623 9a3fe74de4b0
child 625 a831d431425c
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Fri Dec 23 10:35:27 2022 +0000
+++ b/publications.html	Fri Dec 23 10:36:24 2022 +0000
@@ -74,7 +74,8 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      Journal version. Accepted in Journal of Automated Reasoning.
+  Accepted in Journal of Automated Reasoning.
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>]
 </TD>
 </TR>
public_html