aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
| |_|_|/ |/| | |
* | | | Using an algebraic type for distinguishing toplevel input from location in file.Gravatar Hugo Herbelin2017-09-14
| | | * A possible fix for BZ#5715 (escape non-utf8 win32 file names).Gravatar Hugo Herbelin2017-09-13
| | | * Complying more precisely to unicode standard.Gravatar Hugo Herbelin2017-09-13
| | | * Adding a function to escape strings with non-utf8 characters.Gravatar Hugo Herbelin2017-09-13
| |_|/ |/| |
| * | Adding function to be typically used to pass values from an OCaml "when" clause.Gravatar Hugo Herbelin2017-09-12
|/ /
* | Merge PR #987: In Array.smartmap, read and write from same arrayGravatar Maxime Dénès2017-09-11
|\ \ | |/ |/|
* | Making detyping potentially lazy.Gravatar Pierre-Marie Pédrot2017-09-04
* | Merge PR #980: Adding combinators + a canonical renaming in List, Option, NameGravatar Maxime Dénès2017-08-31
|\ \
* \ \ Merge PR #989: Prevent overallocation in Array.map_to_list and remove custom ...Gravatar Maxime Dénès2017-08-31
|\ \ \
* \ \ \ Merge PR #773: [flags] Remove XML output flag.Gravatar Maxime Dénès2017-08-29
|\ \ \ \
| | | * | Canonically renaming fold_map into fold_left_map in library Option.Gravatar Hugo Herbelin2017-08-29
| | | * | Canonically renaming fold_map into fold_left_map in library Array.Gravatar Hugo Herbelin2017-08-29
| | | * | Adding combinators + a canonical renaming in cList.ml.Gravatar Hugo Herbelin2017-08-29
| |_|/ / |/| | |
| | | * also in Fun1.smartmap, read, write from same arrayGravatar Paul Steckler2017-08-22
| | * | Prevent overallocation in Array.map_to_list and remove custom implementation ...Gravatar Guillaume Melquiond2017-08-22
| |/ / |/| |
| | * read, write from same arrayGravatar Paul Steckler2017-08-21
| |/ |/|
* | Merge PR #490: A possible fix for #5391 (command line tools do not accept tra...Gravatar Maxime Dénès2017-08-17
|\ \
* \ \ Merge PR #864: Some cleanups after cumulativity for inductive typesGravatar Maxime Dénès2017-08-16
|\ \ \
| | * | Removing trailing "/" and "\" in directory names only on win32.Gravatar Hugo Herbelin2017-08-15
| | | * [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
| |_|/ |/| |