summaryrefslogtreecommitdiff
path: root/cparser/Builtins.mli
Commit message (Expand)AuthorAge
* Handling of builtins, continued.Gravatar xleroy2010-03-07
* Revised treatment of builtinsGravatar xleroy2010-03-07
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03