Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | sad: Fix build | Silvan Mosberger | 2019-03-09 |
* | 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 |