14 Commits (master)

Author	SHA1	Message	Date
Gwenaël Delaval	24469c9ae1	Update .gitignore	7 years ago
Nicolas Berthier	541dd83fca	Optional compilation of Controllable-Nbac-related modules and tools.	10 years ago
Nicolas Berthier	216550c0d1	Fixed warnings & documentation comments. ... - gitignore: ignore files generated by `configure' script.	11 years ago
Nicolas Berthier	10bdab4dc6	Exclusively use ocamlfind; source documentation generation. ... - Stripped portions of `myocamlbuild{,_config}.ml' that seem useless when `-use-ocamlfind' is passed to ocamlbuild. - Added some code in `myocamlbuild_config.ml' to be able to generate documentation by merging interface and implementation files.	11 years ago
Léonard Gérard	0aad3ac466	eclipse stuff	13 years ago
Léonard Gérard	c75236b688	miscs	13 years ago
Léonard Gérard	46ed39b7b3	Remove some warnings.	13 years ago
Léonard Gérard	6b720e6c23	Merge branch 'java' ... Conflicts: .gitignore compiler/global/global_printer.ml compiler/main/mls2obc.ml	13 years ago
Léonard Gérard	b8b16a7355	blop	13 years ago
Léonard Gérard	dde2d99fdf	gitignore and todo.	13 years ago
Léonard Gérard	3aea2dc6fb	gitignore and todo.	13 years ago
Cédric Pasteur	6dda6ba226	Updated .gitignore	14 years ago
Léonard Gérard	3d2e449cbe	.gitignore	14 years ago
Léonard Gérard	15aeaffc42	gitignore.	14 years ago