William S Fulton 280cd16b7e Ocaml example makefiles tweaks for consistency with other languages. Attempt to add runtime tests to 'make check' - untested.		2013-04-19 22:47:28 +01:00
..
example.i	Added contract example.	2003-11-23 12:55:53 +00:00
example_prog.ml	Added contract example.	2003-11-23 12:55:53 +00:00
Makefile	Ocaml example makefiles tweaks for consistency with other languages. Attempt to add runtime tests to 'make check' - untested.	2013-04-19 22:47:28 +01:00