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

index 3f1c6c7..cad6b02 100644 (file)
@@ -2,9 +2,9 @@
 
 Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli. **User Interaction with the Matita Proof Assistant**.
 
-[[toggle id=abstract-matita text="abstract"]]
+[[toggle id=foo text="abstract"]]
 
-[[toggleable id=abstract-matita text="""
+[[toggleable id=foo 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.
 """]]