6 Commits

Author	SHA1	Message	Date
Johannes Kanig	35e56d626f	(no-tn-check) fix various whitespace issues on the repo ... Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431	2021-12-15 11:54:30 +09:00
Marc Sango	1432c62d74	improve precision notion	2011-05-19 16:31:29 +02:00
Yannick Moy	f8c5c7e1d5	Further references and minor rewrite	2011-05-16 10:21:59 +02:00
Marc Sango	78a1574d51	apply MV and Pierre's suggestions	2011-03-25 12:26:11 +01:00
Marc Sango	77c4d0d116	typos	2011-02-24 12:49:08 +01:00
Marc Sango	c95aacca80	add loop patterns papers	2011-02-08 11:13:26 +01:00