aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativeconv.ml
Commit message (Expand)AuthorAge
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22