author | wenzelm |
Tue, 15 Sep 2009 13:09:13 +0200 | |
changeset 32572 | 076da2bd61f4 |
parent 32571 | d4bb776874b8 |
child 32573 | 719426c9e1eb |
child 32574 | 62b5b538408d |
1.1 --- a/doc-src/manual.bib Mon Sep 14 19:30:48 2009 +0200 1.2 +++ b/doc-src/manual.bib Tue Sep 15 13:09:13 2009 +0200 1.3 @@ -484,7 +484,7 @@ 1.4 booktitle = {Types for Proofs and Programs, TYPES 2008}, 1.5 publisher = {Springer}, 1.6 series = {LNCS}, 1.7 - volume = {????}, 1.8 + volume = {5497}, 1.9 year = {2009} 1.10 } 1.11