Damien Doligez f093afd67d testsuite/external: update coq, lablgtk, alt-ergo ... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02		2013-11-28 17:50:22 +00:00
..
external	testsuite/external: update coq, lablgtk, alt-ergo	2013-11-28 17:50:22 +00:00
interactive	whitespace, non-ascii chars, some missing headers	2012-10-17 20:09:16 +00:00
lib	testsuite: continue making it work without installing OCaml; also make it independent of the user's .ocamlinit	2013-05-16 19:48:04 +00:00
makefiles	Add test for PR#6216. Not fixed yet.	2013-10-30 02:57:59 +00:00
tests	typo in test log message	2013-11-27 16:02:43 +00:00
.ignore	uniform .ignore system	2011-07-20 15:37:36 +00:00
Makefile	Tabify.	2013-05-29 16:45:07 +00:00
typing	fix PR#5914	2013-06-22 07:31:37 +00:00