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

index c43c1b5..1de96fa 100644 (file)
@@ -1,14 +1,15 @@
 ## journal publications
 
- 1.  Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**. <em>
+ 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
           Issue on User Interfaces for Theorem Proving</a>, Springer
         Netherlands, ISSN 0168-7433, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
           109-139</a>, 2007
-      </em> [[toggle id=matita text="abstract"]] [[toggleable id=matita text="""
-Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
-"""]]
+      </em>
+    [[toggle id=matita text="abstract"]] [[toggleable id=matita text="""
+    Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
+    """]]
 
 
 ## conference proceedings