7 Commits

Author	SHA1	Message	Date
Ines Montani	853130bcf8	Update installation instructions (see #727)	2017-01-14 22:12:42 +01:00
Matthew Honnibal	1ef62f39ef	Update README.md	2016-11-01 13:30:10 +11:00
Matthew Honnibal	967412fb85	Minor edit	2016-11-01 13:22:36 +11:00
Ines Montani	589fc73910	Update README.md	2016-11-01 03:19:15 +01:00
Matthew Honnibal	6cf989ad26	Make the README more concise	2016-11-01 13:05:17 +11:00
Ines Montani	274cc0f08f	Update README.md	2016-11-01 02:13:54 +01:00
Matthew Honnibal	1b9c6240a7	Rename entailment example	2016-11-01 01:51:54 +01:00