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

index f22f78c..a883ea9 100644 (file)
@@ -29,7 +29,7 @@
          4573</a>, Springer Berlin / Heidelberg, ISBN 978-3-540-73083-5, <a href="http://www.springerlink.com/content/87747204m4r45565/">pp.
          381-392</a>, 2007
       </em>
-    [[toggle id=disambiguationerrors text="Abstract."]] [[toggleable id=disambiguationerrors text="""
+    [[toggle id=errors text="Abstract."]] [[toggleable id=errors text="""
     *Abstract:* The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae we want to present only errors related to the interpretation meant by the user, hiding errors related to other interpretations (spurious errors). We propose a heuristic to recognize spurious errors, which has been integrated with the disambiguation algorithm of [1].
     """]]