add volume number to Matita JAR paper
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Jun 2008 13:21:09 +0000 (15:21 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Jun 2008 13:21:09 +0000 (15:21 +0200)
commit9f80cd78c1bde10574cd85924e024770c71a6ef6
treedaf30bf36541a8b05f1fd539a6ac5c1422fdc827
parentcae6446e52fd4150c9684595048a52729389de06
add volume number to Matita JAR paper
research/publications.mdwn