JuliaLang/julia — pull request #2383 by jayschwa (2013-02-22 02:01:06+00:00)
Title: doc: Update top links bar to match main website

* Changed "binaries" to "downloads"
* Added "publications"