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>
Tue, 22 Nov 2022 15:48:05 +0000
changeset 622 a07c2b895cf5
parent 621 3ea00e44d10b
child 623 9a3fe74de4b0
updated
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Thu Oct 27 08:19:36 2022 +0100
+++ b/publications.html	Tue Nov 22 15:48:05 2022 +0000
@@ -74,7 +74,7 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      Journal version.
+      Journal version. Accepted in Journal of Automated Reasoning.
 </TD>
 </TR>
public_html