- use kluwer bibtex style for numbered references

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

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 12b28d754d1f6ce16cac06afc061667e0d7b21a9..9e74514b7404520a30ae58ac3acb7ad7134738ec 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -952,6 +952,7 @@
 @misc{debrujinfactor,
  title = "The ``de Bruijn factor''",
  howpublished = "\\\url{http://www.cs.ru.nl/~freek/factor/}",
+ year = {2000},
  author = "Freek Wiedijk",
 }
 
@@ -972,6 +973,7 @@
  title = "The {C}oq Proof Assistant Reference Manual",
  author = "The Coq Development Team",
  howpublished = "\\\url{http://coq.inria.fr/doc/main.html}",
+ year = {2005},
  key = "CoqManual"
 }
 
@@ -1065,6 +1067,7 @@
  title = "Mathematical {M}arkup {L}anguage ({MathML}) {V}ersion 2.0",
  editor="{Patrick Ion} and others",
  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"
 }
@@ -1121,7 +1124,8 @@ editor="{Tim Bray} and others",
 
 @misc{omdoc,
  title = "{OMDoc}: An Open Markup Format for Mathematical Documents (Version 1.1)",
- howpublished = "\\\url{http://www.mathweb.org/omdoc/omdoc.ps}",
+ howpublished = "\\\url{http://www.mathweb.org/omdoc/pubs/omdoc1.1.pdf}",
+ year = {2005},
  key = "OMDoc"
 }