.. |
.depend
|
PR#4243: make the Makefiles parallelizable
|
2013-07-24 14:39:31 +00:00 |
.ignore
|
uniform .ignore system
|
2011-07-20 15:37:36 +00:00 |
Makefile
|
Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:
|
2013-11-29 13:04:38 +00:00 |
Makefile.nt
|
build: always build lex/ and ocamlc with the compiler from boot/.
|
2013-11-10 12:32:12 +00:00 |
common.ml
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
common.mli
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
compact.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
compact.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
cset.ml
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
cset.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
lexer.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
lexer.mll
|
PR#5598: (follow-up) handling of string constants in ocamllex should be the same as in ocamlc
|
2014-01-22 13:31:54 +00:00 |
lexgen.ml
|
Wrong quoting chase.
|
2013-05-29 18:05:44 +00:00 |
lexgen.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
main.ml
|
Typo (#6190).
|
2013-09-25 07:16:21 +00:00 |
output.ml
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
output.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
outputbis.ml
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
outputbis.mli
|
remove all $Id keywords
|
2012-10-15 17:50:56 +00:00 |
parser.mly
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
syntax.ml
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
syntax.mli
|
Merge branch 4.01 from branching point to 4.01.0+rc1
|
2013-09-04 15:12:37 +00:00 |
table.ml
|
renaming of Objective Caml to OCaml and cleanup of copyright headers
|
2011-07-27 14:17:02 +00:00 |
table.mli
|
renaming of Objective Caml to OCaml and cleanup of copyright headers
|
2011-07-27 14:17:02 +00:00 |