aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/btauto/btauto_plugin.mllib
Commit message (Expand)AuthorAge
* Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
* Added a Btauto plugin, that solves boolean tautologies.Gravatar ppedrot2012-01-13