Commits

Author Commit Message Labels Comments Date
HongboZhang
add annot support for toplevel
HongboZhang
deep annotation support added
HongboZhang
refactoring antiquotation, not finished yet
HongboZhang
lexer support <</ >> />> syntax, only need to take care is $>> will be broken
HongboZhang
lexer hacking not finished yet
HongboZhang
patching quotation relaxing Quotation to string as key
HongboZhang
add annot support for camlp4
HongboZhang
add oramll.sh
HongboZhang
done
HongboZhang
try
HongboZhang
add annot flags for all Makefile
HongboZhang
translmod patch for mli files, Quotation patch for more flexible default quotation names
HongboZhang
ignore
doligez
merge changes from 4.00 branching to 4.00.0 (part 1)
HongboZhang
add documentation support for ocaml compiler
HongboZhang
Merge remote-tracking branch 'lemma/origin'
lefessan
Fix PR#5698: remove harcoded limit of 200000 labels in emitaux.ml
frisch
Add support for -ppx in ocamldep (and reuse preprocessing code in Pparse).
frisch
Polishing.
frisch
Continue js syntax example.
frisch
Another example: syntax for javascript properties in js_of_ocaml.
frisch
One more example: instrument method calls.
frisch
#5697: better location for warnings on statement expressions.
frisch
Continue AST mapper.
lefessan
Fix PR#5695 (Redoing commit 12756 without unwanted changes)
lefessan
Revert commit r12756 containing unwanted changes
lefessan
Fix PR#5695
HongboZhang
Merge remote-tracking branch 'lemma/origin'
garrigue
forgot to promote
garrigue
Fix PR#5694 by checking that the number of parameters is identical
  1. Prev
  2. Next