Damien Doligez 5401ce8473 Update headers for the new license. ... Remains to be done: remove all headers in testsuite/tests.		2016-02-18 16:59:16 +01:00
..
interactive	Update headers for the new license.	2016-02-18 16:59:16 +01:00
lib	Update headers for the new license.	2016-02-18 16:59:16 +01:00
makefiles	Update headers for the new license.	2016-02-18 16:59:16 +01:00
tests	Update headers for the new license.	2016-02-18 16:59:16 +01:00
Makefile	Update headers for the new license.	2016-02-18 16:59:16 +01:00
typing	Fix PR#7135: only warn about ground coercions in -principal mode	2016-02-05 10:54:24 +09:00