Author Commit Message Labels Comments Date
HongboZhang avatarHongboZhang
Merge remote-tracking branch 'le/origin'
Default avatar doligez
update hevea + small changes for cygwin
Default avatar doligez
PR#5727: emacs caml-mode indents shebang line in toplevel scripts
Default avatar lefessan
Fix PR#5729 : Untypeast creates unexpected nodes
Default avatar doligez
PR#5761: Incorrect bigarray custom block size
Default avatar maranget
Checked #PR5758, (also closed bug in Mantis)
Default avatar frisch
#5766: MSVC port broken following switch to winsock2.
Default avatar guesdon
PR#5111: description of module not put into a tag
Default avatar guesdon
PR#5744: fix pb with virtual attributes
Default avatar xleroy
PR#5734: improved Win32 implementation of Unix.gettimeofday
Default avatar xleroy
PR#5563: harden Unix.select against file descriptors above FD_SETSIZE
Default avatar scherer
fix PR#5763: ocamlbuild does not give correct flags when running menhir
Default avatar garrigue
Fix PR#5758
Default avatar garrigue
cancel commit in wrong branch
Default avatar garrigue
use types to disambiguate record access
Default avatar frisch
Fix.
Default avatar frisch
Sync with Lexifi's version of ast_mapper.
Default avatar doligez
PR#5278: update Makefile message to mention "make world.opt"
Default avatar garrigue
ocamlbuild-mixed-boot is not phony
Default avatar doligez
PR#4019: better documentation of Str.matched_string
Default avatar frisch
Formatting.
Default avatar frisch
Fix content of .cmt files correponding to the automatic 'discarding' of optional parameters (missing labels + bad order of inserted 'None' arguments).
Default avatar doligez
update comment; remove spurious commas
Default avatar doligez
add copyright header and fix formatting
Default avatar doligez
clarify documentation
Default avatar doligez
ignore generated files
Default avatar doligez
PR#5757: GC compaction bug (crash)
Default avatar doligez
add *.cmt and *.cmti to lists of ignored files
Default avatar doligez
PR#5757: GC compaction bug (crash)
Default avatar doligez
remove some targets that stopped working on Mac OS X
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.