aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
...
* | | Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Gravatar Maxime Dénès2017-12-14
|\ \ \
* \ \ \ Merge PR #978: In printing, experimenting factorizing "match" clauses with sa...Gravatar Maxime Dénès2017-12-14
|\ \ \ \
* \ \ \ \ Merge PR #6169: Clean up/deprecated optionsGravatar Maxime Dénès2017-12-14
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #1108: [stm] Reorganize flagsGravatar Maxime Dénès2017-12-13
|\ \ \ \ \ \ \
| | | | | | * | [lib] Auxiliary functions in List + fixes.Gravatar Emilio Jesus Gallego Arias2017-12-13
| |_|_|_|_|/ / |/| | | | | |
| | | | * | | Improving spacing in printing disjunctive patterns.Gravatar Hugo Herbelin2017-12-12
| | | * | | | Remove deprecated option Tactic Compat Context.Gravatar Théo Zimmermann2017-12-11
| | | |/ / /
| * | | | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| * | | | | [stm] Move process_id to Spawned.Gravatar Emilio Jesus Gallego Arias2017-12-11
| | |/ / / | |/| | |
| | * | | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| | * | | [lib] Rename Profile to CProfileGravatar Emilio Jesus Gallego Arias2017-12-09
| |/ / /
* / / / [lib] Convenience function for `Dyn.Easy`Gravatar Emilio Jesus Gallego Arias2017-12-09
|/ / /
* | | Rename update to set, fixes #6196Gravatar Paul Steckler2017-12-05
| * | [kernel] Patch allowing to disable VM reduction.Gravatar Emilio Jesus Gallego Arias2017-12-02
|/ /
* | Merge PR #6241: [lib] Generalize Control.timeout type.Gravatar Maxime Dénès2017-11-27
|\ \
| * | [lib] Generalize Control.timeout type.Gravatar Emilio Jesus Gallego Arias2017-11-24
* | | Unify style of comments in file CUnix.Gravatar Hugo Herbelin2017-11-23
* | | Add a function to surround filenames containing a space with quotes.Gravatar Hugo Herbelin2017-11-23
|/ /
* | [lib] Minor pending cleanup to consolidate helper function.Gravatar Emilio Jesus Gallego Arias2017-11-19
* | Merge PR #6117: Fix printing anomaly in convGravatar Maxime Dénès2017-11-13
|\ \ | |/ |/|
* | Merge PR #6100: [api] Remove 8.7 ML-deprecated functions.Gravatar Maxime Dénès2017-11-08
|\ \
| | * Fixing an (apparently misplaced) spc in anomaly reporting message.Gravatar Hugo Herbelin2017-11-08
| * | [api] Remove 8.7 ML-deprecated functions.Gravatar Emilio Jesus Gallego Arias2017-11-07
| |/
* / [feedback] Helper to print feedback messages in the console.Gravatar Emilio Jesus Gallego Arias2017-11-06
|/
* Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Maxime Dénès2017-11-03
|\
* | Naming the type of Dyn.Map for future reuse.Gravatar Hugo Herbelin2017-11-02
| * Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaëtan Gilbert2017-11-01
|/
* [stm] Remove state-handling from Futures.Gravatar Emilio Jesus Gallego Arias2017-10-17
* Merge PR #1089: [stm] [toplevel] Move delicate state initialization to the ST...Gravatar Maxime Dénès2017-10-12
|\
| * [stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)Gravatar Emilio Jesus Gallego Arias2017-10-11
* | Restoring test on ident validity while browsing directory structure.Gravatar Hugo Herbelin2017-10-10
* | Adding headers to segmenttree.{ml,mli}.Gravatar Hugo Herbelin2017-10-10
|/
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* [stm] [flags] Move document mode flags to the STM.Gravatar Emilio Jesus Gallego Arias2017-10-06
* Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...Gravatar Maxime Dénès2017-10-06
|\
* \ Merge PR #1125: [pp] Minor optimization in `Pp.t` construction and gluing.Gravatar Maxime Dénès2017-10-06
|\ \
* \ \ Merge PR #1069: Improve support for -w optionsGravatar Maxime Dénès2017-10-05
|\ \ \
* \ \ \ Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Gravatar Maxime Dénès2017-10-05
|\ \ \ \
* \ \ \ \ Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Gravatar Maxime Dénès2017-10-05
|\ \ \ \ \
| | | | * | [pp] Minor optimization in `Pp.t` construction and gluing.Gravatar Emilio Jesus Gallego Arias2017-10-05
| |_|_|/ / |/| | | |
| | | | * Fixing BZ#5769 (variable of type "_something" was named after invalid "_").Gravatar Hugo Herbelin2017-10-05
| | | | * Distinguishing pseudo-letters out of the set of unicode letters.Gravatar Hugo Herbelin2017-10-05
| | | | * Fixing typos in comments of unicode.ml.Gravatar Hugo Herbelin2017-10-05
* | | | | Merge PR #1100: Avoid looping when searching for CoqProject.Gravatar Maxime Dénès2017-10-03
|\ \ \ \ \
* \ \ \ \ \ Merge PR #1015: Adding a function to be typically used to pass values from an...Gravatar Maxime Dénès2017-10-03
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | |
| | * | | | Avoid looping when searching for CoqProject.Gravatar Maxime Dénès2017-09-27
| |/ / / / |/| | | |
| | | | * Improve support for "-w none" compatibility option.Gravatar Guillaume Melquiond2017-09-21
| | * | | coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
* | | | | Reporting locations in error messages about notation formats.Gravatar Hugo Herbelin2017-09-18
| |_|_|/ |/| | |