9 commits

Author	SHA1	Message	Date
Gilles Peskine	ec82da4cb2	Restored note about using minimum functionality in makefiles	2017-10-03 22:21:47 +01:00
Gilles Peskine	82759aa1c7	Note in README that GNU make is required ... Our README claims that we only use basic Make functionality, but in fact GNU make is required for conditional compilation. Document this. Addresses issue #967	2017-10-03 22:21:33 +01:00
Andres AG	1a6e9c30f1	Add porting information to the main README	2017-02-06 16:53:30 +00:00
Jaakko Korhonen	c57c097cd5	Fixed typo in README.md ... Removed an extra e from agreement.	2016-11-16 17:11:10 +00:00
Simon Butcher	741f230e78	Update to README.md ... Update to contribution guidelines, some fixes in the language, minor refinements and corrections.	2016-09-06 21:28:35 +01:00
Manuel Pégourié-Gonnard	f7a4688257	Mention new test script in Readme	2015-10-28 13:43:43 +01:00
Manuel Pégourié-Gonnard	7980096899	Further update Redmes regarding the two editions	2015-10-22 10:48:47 +02:00
Jeremie Miller	c57556e52a	tiny spelling fixes	2015-09-12 09:57:23 -06:00
Manuel Pégourié-Gonnard	f851f14214	Moe top-level Readme to markdown ... For consistency	2015-09-03 13:29:45 +02:00