about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/sad
Commit message (Expand)AuthorAge
* treewide: Add lots of meta.platformsTuomas Tynkkynen2016-08-02
* treewide: Some EOF-whitespace fixesTuomas Tynkkynen2016-08-02
* system for automated deduction: init at 2.3-25Fabian Schmitthenner2015-11-27