summary refs log tree commit diff
path: root/pkgs/applications/science/logic/prooftree
Commit message (Expand)AuthorAge
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* Fix many package descriptionsBjørn Forsman2014-08-24
* prooftree: new expression 0.12John Wiegley2014-06-08