5 Commits

Author	SHA1	Message	Date
Sander Spies	e56e62b255	Changes for tutorials.	2019-09-30 19:23:30 +02:00
John David Pressman	b023bff887	Add clarification on "dockerized LIGO" to taco shop tutorial	2019-08-02 16:52:23 -07:00
Georges Dupéron	8b639e5231	Small fixes to the doc and to the odoc build script	2019-06-20 21:11:37 +02:00
Matej Sima	5051482cea	Fix typos, fix links	2019-06-13 11:59:02 +02:00
Matej Sima	df5e88608d	Add a taco-shop tutorial & launch blog post	2019-06-13 02:50:55 +02:00