web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Thu, 20 Dec 2007 16:19:18 +0000 (16:19 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Thu, 20 Dec 2007 16:19:18 +0000 (16:19 +0000)
research/publications.mdwn

index b1cf02c..b686a72 100644 (file)
@@ -1,6 +1,6 @@
 ## journal publications
 
-Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.
+ 1. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.
  <em>
         In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated
           Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Special