Joris van der Hoeven c47f4f2d28 Introduction of a cleaner 'numbered' environment for line numbering inside algorithms		2019-01-30 21:55:51 +00:00
..
tmfs	Fix typos	2019-01-16 16:04:56 +00:00
api.en.tm	Fix typos	2019-01-16 16:04:56 +00:00
automatic-updates.en.tm	Fix typos	2019-01-16 16:04:56 +00:00
glue-auto-doc.en.tm	Introduction of a cleaner 'numbered' environment for line numbering inside algorithms	2019-01-30 21:55:51 +00:00
url.en.tm	Fix typos	2019-01-16 16:04:56 +00:00