snapshot ...

[helm.git] / helm / papers / matita / matita.bib

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 9e74514b7404520a30ae58ac3acb7ad7134738ec..5402461e4ed5a7dc13434b14bc211514a457093f 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -463,8 +463,8 @@
            and Enrico Tassi and Stefano Zacchiroli",
   title =        "A content based mathematical search engine: Whelp",
   booktitle =    "Post-proceedings of the Types 2004 International Conference",
-  volume =       "LNCS, (to appear)",
-  pages =        "xxx--xxx",
+  volume =       "LNCS, 3839",
+  pages =        "17--32",
   publisher =    "Springer-Verlag",
   year =         "2004"
 }
@@ -971,7 +971,7 @@
 
 @misc{CoqManual,
  title = "The {C}oq Proof Assistant Reference Manual",
- author = "The Coq Development Team",
+ author = "{The Coq Development Team}",
  howpublished = "\\\url{http://coq.inria.fr/doc/main.html}",
  year = {2005},
  key = "CoqManual"
@@ -1069,7 +1069,7 @@
  howpublished = "W3C Recommendation 21 February 2001, \url{http://www.w3.org/TR/MathML2}",
  year = {2003},
  url = "\url{http://www.w3.org/TR/MathML2}",
- key = "Mathematical"
+ key = "MathML"
 }
 
 @misc{xml,
@@ -1078,7 +1078,7 @@ editor="{Tim Bray} and others",
  howpublished = "W3C Recommendation 10 February 1998,
                  \url{http://www.w3.org/TR/REC-xml}",
  url = "\url{http://www.w3.org/TR/REC-xml}",
- key = "Extensible"
+ key = "XML"
 }
 
 @misc{dom,