commit | 3ef517638668ed999d1d194d6a4280f6b21507b5 | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Sat Jul 17 16:08:59 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Sat Jul 17 16:08:59 2010 +0000 |
tree | 3902d4d0c2a1b4d8f5fae6c61d4e04e4e5580a07 | |
parent | 6738fda34f935d7ba38d7a0f5e6070089beed7a8 [diff] |
Fixed a few typos (notupTOdate, package names in proof, etc).