fix markup error in HDR paper entry
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Nov 2017 13:02:22 +0000 (14:02 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Nov 2017 13:02:22 +0000 (14:02 +0100)
research/publications.mdwn

index af53c6f..4cfb5d1 100644 (file)
@@ -616,8 +616,8 @@ You might also be interested in my author profiles on
  1. <a class="paper-download" href="hdr-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="hdr-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software**.  <em>
         HDR (Habilitation √† diriger des recherches) dissertation, defended
         publicly on 27 November 2017, at Universit√© Paris Diderot, France,
-        before a jury composed of: Ahmed Bouajjani, Carlo Ghezzi, Jesus
-        M. Gonzalez-Barahona, Roberto Di Cosmo, Jean-Bernard Stefani, Diomidis
+        before a jury composed of: Ahmed Bouajjani, Carlo Ghezzi, Jesus M.
+        Gonzalez-Barahona, Roberto Di Cosmo, Jean-Bernard Stefani, Diomidis
         Spinellis, Andreas Zeller.
       </em>
  1. <a class="paper-download" href="phd-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="phd-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **User Interaction Widgets for Interactive Theorem Proving**.  <em>