summaryrefslogtreecommitdiff
path: root/spec/11-annotations.md
Commit message (Collapse)AuthorAgeFilesLines
* Add language to code blocks in spec (#5502)Daniel Barclay2016-11-161-4/+4
| | | | | | | | | | | | | | | * Add "scala" language code to pure-Scala code blocks. * Add "java" language code to Java code block. * Add "scala" language code to almost-pure-Scala code blocks. Add "scala" language code to two code blocks whose content was Scala except for containing ellipses (\ldots). * Add "scala" language code to non-literal-Scala code blocks. Add "scala" language code to code blocks that contain Scala but also special elements, such as identifiers that are italicized or have prime marks (e.g., e′, e′′), ellipses (\ldots), etc.
* Fix some typos in `spec` documents and comments.Dongjoon Hyun2016-03-151-1/+1
|
* Spec improvementsSimon Ochsenreither2015-04-251-0/+174