about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/prooftree
AgeCommit message (Expand)AuthorFilesLines
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-10-11prooftree: cleaningVincent Laporte1-4/+5
2018-10-10prooftree: 0.12 -> 0.13Théo Zimmermann1-2/+2
2018-09-08prooftree: add licenseMarkus Kowalewski1-3/+4
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
2014-06-08prooftree: new expression 0.12John Wiegley1-0/+40