GitLab

- add clflags.mli to the list of files imported from the ocaml source tree
- remove another use of #load for syntax extension loading.

Conflicts:
	Makefile.distrib

Tallying and printing still broken.

this point. Besides, CDuce doesn't compile here with OCaml 3.12 as
the old types have been replaced by the new ones.

Original author: afrisch
Date: 2007-08-19 12:31:21+00:00

Original author: afrisch
Date: 2007-06-12 15:13:49+00:00

Original author: afrisch
Date: 2007-06-12 12:59:44+00:00

Original author: afrisch
Date: 2006-03-17 15:49:43+00:00

Original author: afrisch
Date: 2005-10-30 14:23:04+00:00

Original author: afrisch
Date: 2005-07-15 13:51:37+00:00

Original author: afrisch
Date: 2005-07-15 13:20:10+00:00

Original author: afrisch
Date: 2005-07-05 13:49:26+00:00

Original author: afrisch
Date: 2005-06-13 12:30:03+00:00

Original author: afrisch
Date: 2005-03-29 15:15:50+00:00

Original author: afrisch
Date: 2005-03-04 17:05:34+00:00

Original author: afrisch
Date: 2005-03-04 16:11:40+00:00

Original author: afrisch
Date: 2005-03-04 12:11:54+00:00

Original author: afrisch
Date: 2005-03-04 01:16:26+00:00

[r2005-03-03 23:47:00 by afrisch] Identifiers are now qualified names. Uniform dot syntax for external
CDuce and OCaml unit

Original author: afrisch
Date: 2005-03-03 23:47:02+00:00

Original author: afrisch
Date: 2004-12-30 00:46:55+00:00

Original author: afrisch
Date: 2004-07-13 21:15:19+00:00

Original author: afrisch
Date: 2004-07-05 13:48:10+00:00

Original author: afrisch
Date: 2004-07-05 13:19:52+00:00

Original author: afrisch
Date: 2004-07-04 09:23:48+00:00

Original author: afrisch
Date: 2004-07-04 01:17:46+00:00

Original author: afrisch
Date: 2004-06-30 17:29:12+00:00

Original author: afrisch
Date: 2004-06-29 23:32:34+00:00

Original author: afrisch
Date: 2004-06-29 23:06:08+00:00

Original author: afrisch
Date: 2004-06-28 18:24:35+00:00

Original author: afrisch
Date: 2004-06-28 16:42:49+00:00

Original author: afrisch
Date: 2004-06-28 15:53:48+00:00

Original author: afrisch
Date: 2004-06-28 12:54:57+00:00

Original author: afrisch
Date: 2004-06-28 12:37:21+00:00

Original author: afrisch
Date: 2004-06-28 09:55:12+00:00