| .. |
|
expunge.ml
|
re-commit Leo's weak-dependencies pull request
|
2014-05-07 00:34:20 +00:00 |
|
genprintval.ml
|
rewrite cycle-detection in genprintval.ml to use O instead of Obj
|
2014-12-13 15:33:48 +00:00 |
|
genprintval.mli
|
toplevel: be explicit about what path are used for
|
2014-12-06 17:11:11 +00:00 |
|
opttopdirs.ml
|
Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.
|
2012-12-18 17:19:53 +00:00 |
|
opttopdirs.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
opttoploop.ml
|
apply GPR123: fix stupid bug in opttoploop
|
2014-12-12 17:12:08 +00:00 |
|
opttoploop.mli
|
PR#5584: merge open extensible types, extension-patch-4.0.2
|
2014-05-04 23:08:45 +00:00 |
|
opttopmain.ml
|
merge changes of version/4.02 from r15121 to r15155
|
2014-08-29 17:14:00 +00:00 |
|
opttopmain.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
opttopstart.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
topdirs.ml
|
toplevel: generic printers are only allowed with 'new' printer style.
|
2014-12-06 17:11:09 +00:00 |
|
topdirs.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
toplevellib.mllib
|
merge version/4.00 at revision 12866
|
2012-08-21 07:10:35 +00:00 |
|
toploop.ml
|
toplevel: allows the extension of 'genprintval.ml' with parameterised printer.
|
2014-12-06 17:11:04 +00:00 |
|
toploop.mli
|
toplevel: allows the extension of 'genprintval.ml' with parameterised printer.
|
2014-12-06 17:11:04 +00:00 |
|
topmain.ml
|
Prepare environment (with Compenv.readenv) before executing script passed on the toplevel command-line.
|
2014-10-01 14:50:36 +00:00 |
|
topmain.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
topstart.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
trace.ml
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
|
2014-08-22 13:45:02 +00:00 |
|
trace.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
0338871043