| commit | 52b1ff99dbff8e25e0fba86085099aeb94eb8932 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@dropbox.com> | Tue May 19 17:19:46 2015 -0700 |
| committer | Guido van Rossum <guido@dropbox.com> | Tue May 19 17:19:46 2015 -0700 |
| tree | 21aa75bae8c4e40e91cbf66674d0f0e69cb436fe | |
| parent | b612c8ed627d44658bc4c60675877b7e43d0415b [diff] |
Rewrite "What is checked" as "The meaning of annotations" per recommendations of Mark Shannon. Fixes #110.