| .. |
|
.depend
|
remove leftover conflicts from .depend
|
2013-09-04 15:37:10 +00:00 |
|
.ignore
|
uniform .ignore system
|
2011-07-20 15:37:36 +00:00 |
|
Compflags
|
Merge module-alias branch (cf. PR#6063)
|
2014-01-10 07:53:33 +00:00 |
|
Makefile
|
PR#4243: make the Makefiles parallelizable
|
2013-07-24 14:39:31 +00:00 |
|
Makefile.nt
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
Makefile.shared
|
use -bin-annot when building
|
2014-03-07 14:47:30 +00:00 |
|
StdlibModules
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
arg.ml
|
PR#5827: provide a dynamic command line parsing mechanism
|
2013-06-13 11:26:16 +00:00 |
|
arg.mli
|
PR#6245: Minor inconsistencies between related signatures in arg.mli
|
2013-11-30 22:15:11 +00:00 |
|
array.ml
|
#6180: efficient creation of uninitialized float arrays.
|
2013-09-17 11:54:31 +00:00 |
|
array.mli
|
#6180: efficient creation of uninitialized float arrays.
|
2013-09-17 11:54:31 +00:00 |
|
arrayLabels.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
arrayLabels.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
buffer.ml
|
PR#6148: speed improvement for Buffer (patch by John Whitington).
|
2013-08-30 13:12:47 +00:00 |
|
buffer.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
callback.ml
|
Change the representation of exception slots: instead of being represented as 'string ref', they are now blocks
|
2013-10-23 14:28:31 +00:00 |
|
callback.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
camlinternalLazy.ml
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
camlinternalLazy.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
camlinternalMod.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
camlinternalMod.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
camlinternalOO.ml
|
#5779: Revert change on camlinternalOO.
|
2014-03-07 17:10:02 +00:00 |
|
camlinternalOO.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
char.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
char.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
complex.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
complex.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
digest.ml
|
PR#6116: more efficient implementation of Digest.to_hex [patch by ygrek]
|
2013-08-04 19:58:07 +00:00 |
|
digest.mli
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
filename.ml
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
filename.mli
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
format.ml
|
Format: pp_print_list and pp_print_text, contributed by Daniel Bünzli
|
2013-09-13 15:55:41 +00:00 |
|
format.mli
|
PR#6189: items (5) (6) (7)
|
2014-01-22 14:05:13 +00:00 |
|
gc.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
gc.mli
|
fix major performance problem on large heaps by making the heap increment proportional to the heap size
|
2014-02-20 13:04:01 +00:00 |
|
genlex.ml
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
genlex.mli
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
hashtbl.ml
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
hashtbl.mli
|
PR#6208: Hashtbl.reset @since 4.00.0
|
2014-02-19 15:23:17 +00:00 |
|
header.c
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
headernt.c
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
int32.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
int32.mli
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
int64.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
int64.mli
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
lazy.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
lazy.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
lexing.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
lexing.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
list.ml
|
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
|
2013-07-09 11:01:42 +00:00 |
|
list.mli
|
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
|
2013-07-09 11:01:42 +00:00 |
|
listLabels.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
listLabels.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
map.ml
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
map.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
marshal.ml
|
PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.
|
2013-04-18 11:58:59 +00:00 |
|
marshal.mli
|
Wrong quoting chase.
|
2013-05-29 18:03:55 +00:00 |
|
moreLabels.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
moreLabels.mli
|
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
|
2013-07-09 11:01:42 +00:00 |
|
nativeint.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
nativeint.mli
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
obj.ml
|
Do not introduce Obj.raw_tag.
|
2013-11-06 10:57:20 +00:00 |
|
obj.mli
|
Do not introduce Obj.raw_tag.
|
2013-11-06 10:57:20 +00:00 |
|
oo.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
oo.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
parsing.ml
|
fix a few problems with whitespace and over-long lines
|
2013-03-09 22:38:52 +00:00 |
|
parsing.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
pervasives.ml
|
Simplify special logic for array bound error (allocate the exception value from Pervasives).
|
2013-11-08 16:18:21 +00:00 |
|
pervasives.mli
|
Rename raise_nostack -> raise_notrace. Expose it in Pervasives.
|
2013-10-14 13:52:14 +00:00 |
|
printexc.ml
|
Do not introduce Obj.raw_tag.
|
2013-11-06 10:57:20 +00:00 |
|
printexc.mli
|
Reintegrate raise_variants branch.
|
2013-11-13 13:55:13 +00:00 |
|
printf.ml
|
PR#5739: Printf.printf "%F" and nan/infinity/neg_infinity.
|
2013-07-19 09:07:54 +00:00 |
|
printf.mli
|
Better documentation of meta format conversion.
|
2013-05-29 16:44:12 +00:00 |
|
queue.ml
|
PR#4079: Queue.copy is now tail-recursive (patch from "Cristophe" on the bugtracker)
|
2013-06-16 16:19:30 +00:00 |
|
queue.mli
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
|
random.ml
|
#5977: ensure that bootstrapping on 64-bit does not produce 64-bit constants that cannot be read on 32-bit platforms.
|
2013-04-09 12:17:05 +00:00 |
|
random.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
scanf.ml
|
fix scanf.ml build
|
2013-06-02 14:42:33 +00:00 |
|
scanf.mli
|
PR#6189: items (8) and (9)
|
2014-01-22 14:33:38 +00:00 |
|
set.ml
|
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
|
2013-07-09 11:01:42 +00:00 |
|
set.mli
|
#4986. Add two common operations: List.sort_uniq (more efficient that sorting then removing duplicates) and Set.of_list (more efficient than folding Set.add over the list).
|
2013-07-09 11:01:42 +00:00 |
|
sharpbang
|
#!space, pas #!
|
1998-04-27 15:14:31 +00:00 |
|
sort.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
sort.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stack.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stack.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stdLabels.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stdLabels.mli
|
everything works except camlp4
|
2013-10-01 03:17:11 +00:00 |
|
std_exit.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stdlib.mllib
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stream.ml
|
PR#5644: a dumbed-down fix to fix the observable effect (Stream.of_string) with no change to the underlying code (to avoid regressions)
|
2013-07-21 20:03:52 +00:00 |
|
stream.mli
|
PR#5644: a dumbed-down fix to fix the observable effect (Stream.of_string) with no change to the underlying code (to avoid regressions)
|
2013-07-21 20:03:52 +00:00 |
|
string.ml
|
Revert r13746 (demanded by Xavier)
|
2013-06-05 17:54:20 +00:00 |
|
string.mli
|
Revert r13746 (demanded by Xavier)
|
2013-06-05 17:54:20 +00:00 |
|
stringLabels.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
stringLabels.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
sys.mli
|
fixed wrong @since version numbers
|
2013-01-08 13:23:49 +00:00 |
|
sys.mlp
|
PR#5774: Add bswap primitives for amd64
|
2012-11-29 09:55:00 +00:00 |
|
weak.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
|
weak.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
7fead1f37b