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

index b686a72..d4a2038 100644 (file)
@@ -8,10 +8,10 @@
         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="""
-*Abstract:* 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.
-"""]]
+  [[toggle id=matita text="abstract"]]
+  [[toggleable id=matita text="""
+  *Abstract:* 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