Commit message (Expand) | Author | Age | |
---|---|---|---|
* | sad: fix build | Silvan Mosberger | 2018-08-09 |
* | treewide: Add lots of meta.platforms | Tuomas Tynkkynen | 2016-08-02 |
* | treewide: Some EOF-whitespace fixes | Tuomas Tynkkynen | 2016-08-02 |
* | system for automated deduction: init at 2.3-25 | Fabian Schmitthenner | 2015-11-27 |