| Age | Commit message (Expand) | Author |
|---|
| 2016-06-08 | Officially discontinue the experimental coq build via ocamlbuild | Pierre Letouzey |
| 2016-06-05 | Removing the Q_constr file. | Pierre-Marie Pédrot |
| 2016-03-25 | Remove int64 emulation in bytecode interpreter. | Maxime Dénès |
| 2016-03-21 | Creating a dedicated ltac/ folder for Hightactics. | Pierre-Marie Pédrot |
| 2015-02-27 | Adding a new folder corresponding to the low-level part of the pretyper | Pierre-Marie Pédrot |
| 2014-04-25 | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | Pierre-Marie Pédrot |
| 2014-01-30 | Coqmktop without Sys.command, changes in ./configure -*byteflags options | Pierre Letouzey |
| 2013-12-20 | Coqdep always uses / as dir_sep | Pierre Boutillier |
| 2013-12-16 | A few fixes to the build system (mostly for ocamlbuild) | Pierre Letouzey |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-04-18 | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey |
| 2013-04-17 | Coqmktop: dynlink is now mandatory due to Maxime's native-compiler | letouzey |
| 2013-01-22 | Revert "remove -rectypes except for term.ml" | mdenes |
| 2012-12-08 | Coqide: get rid of threads, use gtk asynchronous i/o instead | letouzey |
| 2012-10-06 | 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-08-23 | 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-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-05-15 | when cross-compiling with mingw32, let's fix the Filename.dir_sep | letouzey |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2011-12-23 | myocamlbuild: -DWIN32 instead of -DWin32 | letouzey |
| 2011-12-21 | adapt myocamlbuild after changes in coqdep_boot (.beautify) | letouzey |
| 2011-10-07 | ocamlbuild: remove -dllpath from coqrunbyteflags | glondu |
| 2011-10-07 | ocamlbuild: Fix ocamlbuild compilation for changes to configure from r14500. | glondu |
| 2011-09-27 | In Coq_config: get rid of coqsrc and make coqlib optional | glondu |
| 2011-09-06 | Ocamlbuild : build of fake_ide | letouzey |
| 2011-04-28 | Coqide: try to properly send interrupts to coqtop on Win32 | letouzey |
| 2011-04-21 | 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-08 | ocamlbuild: support again camlp5 in addition to camlp4 | letouzey |
| 2011-03-25 | Ide: more reorganisation and cleanup | letouzey |
| 2011-01-11 | Fix ocamlbuild-based build system | glondu |
| 2010-07-15 | Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo) | letouzey |
| 2010-06-03 | Ocamlbuild: try to speed-up error detection in *.ml*, by byte-compiling first | letouzey |
| 2010-05-19 | 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-03-18 | Myocamlbuild: slight simplification of code for .ml4 | letouzey |
| 2010-02-26 | Some more adaptations for Debian-->mingw32 | letouzey |
| 2010-02-25 | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | letouzey |
| 2010-02-24 | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey |
| 2010-02-18 | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | letouzey |
| 2010-02-12 | Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen | letouzey |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-12-08 | Fix the build of coq via ocamlbuild | letouzey |
