3 commits

Author	SHA1	Message	Date
Tuomas Tynkkynen	21f17d69f6	treewide: Add lots of meta.platforms ... Build-tested on x86_64 Linux & Mac.	2016-08-02 21:42:43 +03:00
Tuomas Tynkkynen	59ce911810	treewide: Some EOF-whitespace fixes	2016-08-02 21:17:44 +03:00
Fabian Schmitthenner	dc164dc2ee	system for automated deduction: init at 2.3-25	2015-11-27 15:12:09 +00:00