aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Windows build scripts for 8.6 final.Gravatar Maxime Dénès2016-12-08
* Fix paths in 32-bit windows build scripts.Gravatar Maxime Dénès2016-12-08
* Add bat files for 8.6rc1 build.Gravatar Maxime Dénès2016-12-07
* Add bat files for 8.6beta1 build.Gravatar Maxime Dénès2016-12-07
* Merge remote-tracking branch 'github/pr/372' into v8.6Gravatar Maxime Dénès2016-12-02
|\
* \ Merge remote-tracking branch 'github/pr/368' into v8.6Gravatar Maxime Dénès2016-12-02
|\ \
* \ \ Merge remote-tracking branch 'github/pr/369' into v8.6Gravatar Maxime Dénès2016-12-02
|\ \ \
* \ \ \ Merge remote-tracking branch 'github/pr/371' into v8.6Gravatar Maxime Dénès2016-12-02
|\ \ \ \
* | | | | Fix some documentation typos.Gravatar Guillaume Melquiond2016-11-24
| | | | * (v8.6) Update dev/doc/changes.txt with HintsResolveEntry changesGravatar Jason Gross2016-11-21
| |_|_|/ |/| | |
| * | | (v8.6) Update dev/doc/changes with things about mem_named_contextGravatar Jason Gross2016-11-21
|/ / /
| * / (v8.6) Make a note about wit_constr and Constrarg in dev/doc/changesGravatar Jason Gross2016-11-21
|/ /
| * (v8.6) Add example in dev/doc/changes involving Tacmach.projectGravatar Jason Gross2016-11-21
|/
* [doc] Mention XML protocol on changes.Gravatar Emilio Jesus Gallego Arias2016-11-16
* Remove README.win until we come up with new instructions.Gravatar Maxime Dénès2016-11-14
* Move OSX script.Gravatar Maxime Dénès2016-11-10
* Add Michael Soegtrop's new script to build windows installer.Gravatar Maxime Dénès2016-11-10
* Remove old windows build scripts.Gravatar Maxime Dénès2016-11-10
* Merge branch 'fixminimization' into v8.6Gravatar Matthieu Sozeau2016-10-21
|\
| * Remove no longer exported debug printerGravatar Matthieu Sozeau2016-10-21
* | [search] Don't build intermediate lists in search.Gravatar Emilio Jesus Gallego Arias2016-10-20
|/
* More on making the lexer more functional (continuing b8ae2de5 andGravatar Hugo Herbelin2016-10-17
* Adding debugging printer for Genarg.ArgT.t.Gravatar Hugo Herbelin2016-10-08
* A fix to dev/include.Gravatar Hugo Herbelin2016-08-17
* Merge PR #237 into v8.6Gravatar Pierre-Marie Pédrot2016-08-16
|\
* | Fixing extra returns in top_printers.ml (msg_notice not same semantics as pp).Gravatar Hugo Herbelin2016-07-19
* | FIX: "dev/doc/changes.txt"Gravatar Matej Kosik2016-07-05
| * Add a renaming of Tacexpr.TacDynamicGravatar Jason Gross2016-07-04
|/
* Mention recent renaming of files in dev/doc/changes.txt.Gravatar Maxime Dénès2016-07-03
* rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cError...Gravatar Pierre Letouzey2016-07-03
* closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)Gravatar Pierre Letouzey2016-07-03
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Add and document match, fix and cofix reduction flags.Gravatar Maxime Dénès2016-07-01
* Separate flags for fix/cofix/match reduction and clean reduction function names.Gravatar Maxime Dénès2016-07-01
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* [doc] Update changes for feedback.Gravatar Emilio Jesus Gallego Arias2016-06-25
* [feedback] Add optional ?loc parameter to loggers.Gravatar Emilio Jesus Gallego Arias2016-06-25
* remove an old workaround for OCaml 3.11 + MacOS natdynlinkGravatar Pierre Letouzey2016-06-24
* Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-09
|\
* | Documenting API changes in dev/doc/changes.txt.Gravatar Pierre-Marie Pédrot2016-06-09
* | Merge PR #197.Gravatar Pierre-Marie Pédrot2016-06-09
|\ \
* | | Adding profiling developer information in dev/doc/profiling.txt.Gravatar Pierre-Marie Pédrot2016-06-08
| * | Add an explicit replacement rule for Refine moduleGravatar Jason Gross2016-06-08
|/ /
* | Officially discontinue the experimental coq build via ocamlbuildGravatar Pierre Letouzey2016-06-08
* | proofs/proofs.mllib: no more proof_errors !Gravatar Pierre Letouzey2016-06-08
| * Add license text to the windows installationGravatar Enrico Tassi2016-06-03
* | A slight phase of documentation and uniformization of names ofGravatar Hugo Herbelin2016-06-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-01
|\|
* | Merge branch 'yet-another-makefile-bigbang' into trunkGravatar Pierre Letouzey2016-06-01
|\ \