4 Commits

Author	SHA1	Message	Date
Tom Jack	0191d8b0ed	Replace "mtz" with "mutez"	2019-10-27 11:50:24 -05:00
Christian Rinderknecht	157e24ff08	Fixed documentation. ... There was an error in the syntax of tuple projection (no parentheses are needed, in fact). Another issue was a wrong Markdown layout for lists (my fault).	2019-10-16 11:50:31 +02:00
Christian Rinderknecht	ff9584c7b7	Gardening.	2019-10-07 16:37:33 +02:00
Christian Rinderknecht	68ff421b7d	Merge remote-tracking branch 'origin/dev' into rinderknecht-dev	2019-09-26 17:11:08 +02:00