Author Commit Message Labels Comments Date
Default avatar doligez
undo commit 12847, it breaks preprocessing
Default avatar doligez
ignore generated files
Default avatar doligez
add two things
Default avatar doligez
dependencies for ocamlnet; add back coq and framac
Default avatar doligez
make ocaml-mysql work with a vanilla install of mysql
Default avatar doligez
Revert one change of commit 12769 that (inadvertently?) breaks ocamlnet 3.5.1
Default avatar doligez
better way of doing conditionals in makefiles
HongboZhang avatarHongboZhang
refactored finished
Default avatar doligez
remove spurious whitespace at EOF
Default avatar doligez
PR#5070, continued: also parse backtrace locations
Default avatar doligez
do byte-compile file caml-font.el
Default avatar doligez
PR#5715 (partial?) disabling shared libraries does not work under cygwin
Default avatar doligez
PR#4994: ocaml-mode doesn't work with xemacs21
Default avatar doligez
PR#5719: ocamlyacc generates code that is not warning 33-compliant
Default avatar doligez
PR#5712: doc of Format.printf and missing functions in StdLabels
HongboZhang avatarHongboZhang
clean
HongboZhang avatarHongboZhang
ignore ocamlcomp[opt].sh
HongboZhang avatarHongboZhang
bootstrapping also succeed with filter factored, we also need to modfiy camlp4lib.mllib to check in Camlp4Filters in
Default avatar frisch
Support -absname in ocamldep + update man pages.
Default avatar xleroy
PR#5700, take 2: another misaligned call to caml_stash_backtrace.
HongboZhang avatarHongboZhang
provide PreCast as a signature
HongboZhang avatarHongboZhang
bootstrap succeeded!
Default avatar xleroy
PR#5700: crash with native-code stack backtraces under MacOS 10.8 x86-64
HongboZhang avatarHongboZhang
revert changes to Lexer.mll
Default avatar doligez
add some missing copyright headers
Default avatar doligez
remove wrongly committed (?) temp file
Default avatar doligez
remove obsolete file
Default avatar doligez
add possibility of splitting long `...` strings across lines
Default avatar doligez
add check for $Id$; various fixes
HongboZhang avatarHongboZhang
merge lemma
  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.