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

index 79b57ad..ca41a07 100644 (file)
@@ -1,6 +1,8 @@
 ## journal publications
 
- 1.  Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**. [[toggle id="abstract-matita" text="abstract"]] [[toggleable id="abstract-matita" text="""
+ 1.  Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.
+     [[toggle id="abstract-matita" text="abstract"]]
+     [[toggleable id="abstract-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>
         In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of Automated