OOPSLA

2025-09-04 16:07:19 -04:00
parent dafe3a253e
commit 413e6d6d16
2 changed files with 17 additions and 4 deletions
@@ -771,6 +771,7 @@
 % ---
@STRING{cav96       = cav # ", New Brunswick, New Jersey" }
@STRING{cav97       = cav # ", Haifa, Israel" }
+@STRING{cav98       = cav # ", Vancouver, British Columbia" }
@STRING{cav00       = cav # ", Chicago, Illinois" }
@STRING{cav02       = cav # ", Copenhagen, Denmark" }
@STRING{cav03       = cav # ", Boulder, Colorado" }