JuliaLang/julia — pull request #6888 by mauro3 (2014-05-19 14:07:36+00:00)
Title: To fix issue #6874: update of manual section on Types

Updated the manual to reflect some subtleties about type declarations and assertions with `::`.