aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-18Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.Maxime Dénès
2017-12-14Merge PR #6264: [kernel] Patch allowing to disable VM reduction.Maxime Dénès
2017-12-14Merge PR #978: In printing, experimenting factorizing "match" clauses with sa...Maxime Dénès
2017-12-14Merge PR #6169: Clean up/deprecated optionsMaxime Dénès
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-13Merge PR #1108: [stm] Reorganize flagsMaxime Dénès
2017-12-13[lib] Auxiliary functions in List + fixes.Emilio Jesus Gallego Arias
2017-12-12Improving spacing in printing disjunctive patterns.Hugo Herbelin
2017-12-11Remove deprecated option Tactic Compat Context.Théo Zimmermann
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
2017-12-11[stm] Move process_id to Spawned.Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-09[lib] Rename Profile to CProfileEmilio Jesus Gallego Arias
2017-12-09[lib] Convenience function for `Dyn.Easy`Emilio Jesus Gallego Arias
2017-12-05Rename update to set, fixes #6196Paul Steckler
2017-12-02[kernel] Patch allowing to disable VM reduction.Emilio Jesus Gallego Arias
2017-11-27Merge PR #6241: [lib] Generalize Control.timeout type.Maxime Dénès
2017-11-24[lib] Generalize Control.timeout type.Emilio Jesus Gallego Arias
2017-11-23Unify style of comments in file CUnix.Hugo Herbelin
2017-11-23Add a function to surround filenames containing a space with quotes.Hugo Herbelin
2017-11-19[lib] Minor pending cleanup to consolidate helper function.Emilio Jesus Gallego Arias
2017-11-13Merge PR #6117: Fix printing anomaly in convMaxime Dénès
2017-11-08Merge PR #6100: [api] Remove 8.7 ML-deprecated functions.Maxime Dénès
2017-11-08Fixing an (apparently misplaced) spc in anomaly reporting message.Hugo Herbelin
2017-11-07[api] Remove 8.7 ML-deprecated functions.Emilio Jesus Gallego Arias
2017-11-06[feedback] Helper to print feedback messages in the console.Emilio Jesus Gallego Arias
2017-11-03Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.Maxime Dénès
2017-11-02Naming the type of Dyn.Map for future reuse.Hugo Herbelin
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-10-17[stm] Remove state-handling from Futures.Emilio Jesus Gallego Arias
2017-10-12Merge PR #1089: [stm] [toplevel] Move delicate state initialization to the ST...Maxime Dénès
2017-10-11[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)Emilio Jesus Gallego Arias
2017-10-10Restoring test on ident validity while browsing directory structure.Hugo Herbelin
2017-10-10Adding headers to segmenttree.{ml,mli}.Hugo Herbelin
2017-10-06[stm] Switch to a functional APIEmilio Jesus Gallego Arias
2017-10-06[stm] [flags] Move document mode flags to the STM.Emilio Jesus Gallego Arias
2017-10-06Merge PR #1119: Fixing bug BZ#5769 (generating a name "_" out of a type "_som...Maxime Dénès
2017-10-06Merge PR #1125: [pp] Minor optimization in `Pp.t` construction and gluing.Maxime Dénès
2017-10-05Merge PR #1069: Improve support for -w optionsMaxime Dénès
2017-10-05Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Maxime Dénès
2017-10-05Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Maxime Dénès
2017-10-05[pp] Minor optimization in `Pp.t` construction and gluing.Emilio Jesus Gallego Arias
2017-10-05Fixing BZ#5769 (variable of type "_something" was named after invalid "_").Hugo Herbelin
2017-10-05Distinguishing pseudo-letters out of the set of unicode letters.Hugo Herbelin
2017-10-05Fixing typos in comments of unicode.ml.Hugo Herbelin
2017-10-03Merge PR #1100: Avoid looping when searching for CoqProject.Maxime Dénès
2017-10-03Merge PR #1015: Adding a function to be typically used to pass values from an...Maxime Dénès
2017-09-27Avoid looping when searching for CoqProject.Maxime Dénès
2017-09-21Improve support for "-w none" compatibility option.Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:26:48 +0000