Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quotient-Paper/document/root.bib
changeset 2205 69b4eb4b12c6
parent 2154 b5c030cfa656
child 2220 2c4c0d93daa6 
--- a/Quotient-Paper/document/root.bib	Tue Jun 01 15:48:25 2010 +0200
+++ b/Quotient-Paper/document/root.bib	Tue Jun 01 15:58:59 2010 +0200
@@ -26,7 +26,7 @@
 
 @techreport{PVS:Interpretations,
         Author= {S. Owre and N. Shankar},
-        Title= {Theory Interpretations in PVS},
+        Title= {{T}heory {I}nterpretations in {PVS}},
         Number= {SRI-CSL-01-01},
         Institution= {Computer Science Laboratory, SRI International},
         Address= {Menlo Park, CA},
nominal2