publist

managing my list of publications, talks, reviews
git clone https://a3nm.net/git/publist/
Log | Files | Refs | README | LICENSE
commit 0ded5c725417267f84aaa18b3bbdd1c01b7629ec
parent c73779e1325fc8adce9cba1f8fee4992cc9caabe
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue, 17 Sep 2024 22:46:16 +0200

fix

Diffstat:

talks | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/talks b/talks
@@ -1,4 +1,4 @@
-Title: Dynamic membership for regular tree languages
+Title: Dynamic Membership for Regular Tree Languages
 Date: 2024-09-18
 Venue: highlights2024