aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/syntax
Commit message (Expand)AuthorAge
* Repair interpretation of numeral for BigQ, add a printer (close #2160)Gravatar letouzey2009-11-12
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fix static compilation of numeral syntax (typo in _mod files, sorry ...)Gravatar letouzey2009-03-28
* Parsing files for numerals (+ ascii/string) moved into pluginsGravatar letouzey2009-03-27