regenerate publication list
authorStefano Zacchiroli <zack@debian.org>
Fri, 21 Dec 2007 01:00:44 +0000 (02:00 +0100)
committerStefano Zacchiroli <zack@debian.org>
Fri, 21 Dec 2007 01:00:44 +0000 (02:00 +0100)
research/publications.mdwn

index 138f65d..ecfa8ff 100644 (file)
@@ -1,5 +1,6 @@
-[[toc ]]
+[[meta stylesheet=css/papers.css rel="stylesheet" title="paper list formatting"]]
 
+[[toc ]]
 # journal publications
 
  1. <a class="paper_download" href="/~zack/stuff/papers/matita.pdf"><img src="/~zack/img/pdf-format-logo.png" alt=".pdf" title=".pdf"/></a> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **[User Interaction with the Matita Proof Assistant](/~zack/stuff/papers/matita.pdf)**. <em>