Fix typo

cuplv · Jun 18, 2024 · b8907ac · b8907ac
1 parent 8a23f93
commit b8907ac
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -229,7 +229,7 @@ <h3 xmlns="">Affiliates</h3>
                      CUPLV authors
                      <a href="http://plv.colorado.edu/benno">Benno Stein</a> and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
                      has had a paper "<a href="papers/demanded-summarization-toplas24.html">Interactive Abstract Interpretation with Demanded Summarization</a>" published in
-                     TOPLAS
+                     TOPLAS.
 
                   </div>
                   <div class="news-detail">2023.11.01:

diff --git a/news.html b/news.html
@@ -46,7 +46,7 @@ <h2 xmlns="" id="paper-toplas24">2024.01.19</h2>
                CUPLV authors
                <a href="http://plv.colorado.edu/benno">Benno Stein</a> and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
                has had a paper "<a href="papers/demanded-summarization-toplas24.html">Interactive Abstract Interpretation with Demanded Summarization</a>" published in
-               TOPLAS
+               TOPLAS.
 
             </p>
             <div xmlns="" class="clearer"></div>

diff --git a/pl.xml b/pl.xml
@@ -16,7 +16,7 @@
         CUPLV authors
         <ref table="person" key="bstein" /> and <ref table="person" key="bec" /> with collaborators
         has had a paper "<ref table="pub" key="demanded-summarization-toplas24" />" published in
-        <ref table="journal" key="toplas" />
+        <ref table="journal" key="toplas" />.
       </news-detail>
     </news>
     <news date="2023.11.01" id="phd-call-2023">