aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/nsatz/ideal.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Academic prescriptivism strikes back: down with baroque programming in Nsatz.Gravatar Pierre-Marie Pédrot2017-04-09
* Adding interface files to Nsatz ML files.Gravatar Pierre-Marie Pédrot2016-09-28