summaryrefslogtreecommitdiff
path: root/parsing/docstrings.ml
Commit message (Expand)AuthorAgeFilesLines
* Typos and basic grammar error fixing (#1280)Fourchaux2017-08-101-1/+1
* Parser: delay registration of docstring after the mapper is appliedHugo Heuzard2016-07-111-1/+3
* Empty documentation comment (**)octachron2016-06-091-6/+7
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-0/+1
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Useless bindings, unit patterns, whitespace.alainfrisch2016-01-191-6/+3
* Rename parsetree constants.Drup2016-01-181-2/+2
* Parse arbitrary precision integers ..Hugo Heuzard2015-12-031-4/+2
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-3/+0
* Attach documentation comments to ParsetreeLeo White2015-06-281-0/+344