Snapshot

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

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index fdd419029244ea369dbc9f925ef5588507677995..19d2df5dc1fd6563a8e7a4b6b342ffbbd358448a 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -1142,8 +1142,9 @@ 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/pubs/omdoc1.1.pdf}",
+ title = "{OMDoc}: An Open Markup Format for Mathematical Documents 
+(Draft, Version 1.2)",
+ howpublished = "\\\url{http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf}",
  year = {2005},
  key = "OMDoc"
 }