| Commit message (Expand) | Author | Age |
|---|
| * | Misc changes around coqtop.ml : |  letouzey | 2013-08-22 |
| * | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey | 2013-04-18 |
| * | Coqmktop: dynlink is now mandatory due to Maxime's native-compiler | letouzey | 2013-04-17 |
| * | Revert "remove -rectypes except for term.ml" |  mdenes | 2013-01-22 |
| * | Coqide: get rid of threads, use gtk asynchronous i/o instead | letouzey | 2012-12-08 |
| * | Turn mltop.ml4 into a regular ocaml file | letouzey | 2012-10-06 |
| * | ocamlbuild simplifications | letouzey | 2012-10-06 |
| * | remove -rectypes except for term.ml | letouzey | 2012-10-06 |
| * | myocamlbuild : fixes for new printing directory + sourceview for coqide | letouzey | 2012-08-23 |
| * | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey | 2012-08-23 |
| * | Revert "when cross-compiling with mingw32, let's fix the Filename.dir_sep" | letouzey | 2012-08-23 |
| * | Port from 8.4 branch some build fixes concerning win32 : | letouzey | 2012-08-23 |
| * | place all files specific to camlp4 syntax extensions in grammar/ | letouzey | 2012-05-29 |
| * | when cross-compiling with mingw32, let's fix the Filename.dir_sep | letouzey | 2012-05-15 |
| * | lib directory is cut in 2 cma. |  pboutill | 2012-04-12 |
| * | myocamlbuild: -DWIN32 instead of -DWin32 | letouzey | 2011-12-23 |
| * | adapt myocamlbuild after changes in coqdep_boot (.beautify) | letouzey | 2011-12-21 |
| * | ocamlbuild: remove -dllpath from coqrunbyteflags |  glondu | 2011-10-07 |
| * | ocamlbuild: Fix ocamlbuild compilation for changes to configure from r14500. | glondu | 2011-10-07 |
| * | In Coq_config: get rid of coqsrc and make coqlib optional | glondu | 2011-09-27 |
| * | Ocamlbuild : build of fake_ide | letouzey | 2011-09-06 |
| * | Coqide: try to properly send interrupts to coqtop on Win32 | letouzey | 2011-04-28 |
| * | Coqide: a special kill function for win32 | letouzey | 2011-04-21 |
| * | Ocamlbuild: in win32, coqide is now a console-free app by default | letouzey | 2011-04-21 |
| * | Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.ico | letouzey | 2011-04-21 |
| * | ocamlbuild: support again camlp5 in addition to camlp4 | letouzey | 2011-04-08 |
| * | Ide: more reorganisation and cleanup | letouzey | 2011-03-25 |
| * | Fix ocamlbuild-based build system | glondu | 2011-01-11 |
| * | Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo) | letouzey | 2010-07-15 |
| * | Ocamlbuild: try to speed-up error detection in *.ml*, by byte-compiling first | letouzey | 2010-06-03 |
| * | Ocamlbuild: various fix | letouzey | 2010-05-19 |
| * | Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way | letouzey | 2010-05-19 |
| * | static (and shared) camlp4use instead of per-file declaration | letouzey | 2010-05-19 |
| * | Myocamlbuild: slight simplification of code for .ml4 | letouzey | 2010-03-18 |
| * | Some more adaptations for Debian-->mingw32 | letouzey | 2010-02-26 |
| * | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | letouzey | 2010-02-25 |
| * | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey | 2010-02-24 |
| * | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | letouzey | 2010-02-18 |
| * | Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen | letouzey | 2010-02-12 |
| * | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey | 2009-12-09 |
| * | Fix the build of coq via ocamlbuild | letouzey | 2009-12-08 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | Use camlp4 to accept some specific non-exhaustive patterns in groebner | letouzey | 2009-07-20 |
| * | ocamlbuild: right symlink for csdpcert | letouzey | 2009-04-08 |
| * | Ocamlbuild: option for (not) building coqide, better log messages | letouzey | 2009-04-03 |
| * | Ocamlbuild: improvements suggested by N. Pouillard | letouzey | 2009-04-03 |
| * | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | letouzey | 2009-03-30 |
| * | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey | 2009-03-29 |
| * | Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo) | letouzey | 2009-03-26 |
| * | ocamlbuild: coqide, coqchk, a bit of .vo | letouzey | 2009-03-26 |
letouzey
mdenes
pboutill
glondu