aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Util.Empty: implement using polymorphic record.Gravatar Gaëtan Gilbert2018-07-03
* CWarnings.normalize_flags: removed unused ~silent argument.Gravatar Gaëtan Gilbert2018-07-03
* [envars] honor env variable COQLIBGravatar Enrico Tassi2018-07-02
* Merge PR #7860: Fix #7704: Launching coqide through PATH fails.Gravatar Emilio Jesus Gallego Arias2018-06-28
|\
* | Slightly less crazy parsing algorithm for CoqProject_file.Gravatar Pierre-Marie Pédrot2018-06-27
* | Turn CoqProject_file into a normal OCaml file.Gravatar Pierre-Marie Pédrot2018-06-27
| * Fix #7704: get_toplevel_path needs normalised argv.(0)Gravatar Gaëtan Gilbert2018-06-22
|/
* [spawn] don't create a control socket on Unix (Fix #7713)Gravatar Enrico Tassi2018-06-15
* Merge PR #7177: Unifying names of "smart" combinators + adding combinators in...Gravatar Pierre-Marie Pédrot2018-05-24
|\
* | Fix #5983 (many frequent AppVeyor failures) by increasing spawn timeout.Gravatar Théo Zimmermann2018-05-24
| * Moving Rtree.smart_map into Rtree.Smart.map.Gravatar Hugo Herbelin2018-05-23
| * Collecting Array.smart_* functions into a module Array.Smart.Gravatar Hugo Herbelin2018-05-23
|/
* [ide] Remove special option `-ideslave`Gravatar Emilio Jesus Gallego Arias2018-05-21
* [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* Merge PR #7437: [coqdep] Minor cleanups.Gravatar Pierre-Marie Pédrot2018-05-10
|\
| * [CoqProject] Add some comments and remove unnecessary use of Pp.Gravatar Emilio Jesus Gallego Arias2018-05-08
* | [lib] Re-add `set_timeout` to help users workaround #7408Gravatar Emilio Jesus Gallego Arias2018-05-07
|/
* Merge PR #6958: [lib] Move global options to their proper place.Gravatar Maxime Dénès2018-04-30
|\
* | Always print explanation for univ inconsistency, rm Flags.univ_printGravatar Gaëtan Gilbert2018-04-26
* | Merge PR #7194: [warnings] Remove `set_current_loc` hack.Gravatar Maxime Dénès2018-04-12
|\ \
* \ \ Merge PR #7107: Fixes #7100: lost of main file location in case of Ltac failu...Gravatar Pierre-Marie Pédrot2018-04-12
|\ \ \
| | * | [warnings] Remove `set_current_loc` hack.Gravatar Emilio Jesus Gallego Arias2018-04-11
| |/ / |/| |
| * | Fixing #7100 (lost of main file location in case of Ltac failure in other file).Gravatar Hugo Herbelin2018-04-04
| | * [lib] Move global options to their proper place.Gravatar Emilio Jesus Gallego Arias2018-04-02
* | | Fix #7101: STM delegation policy brokenGravatar Maxime Dénès2018-03-28
| |/ |/|
* | [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Emilio Jesus Gallego Arias2018-03-11
|/
* Merge PR #6496: Generate typed generic code from ltac macrosGravatar Maxime Dénès2018-03-09
|\
* \ Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Gravatar Maxime Dénès2018-03-09
|\ \
| | * Make most of TACTIC EXTEND macros runtime calls.Gravatar Maxime Dénès2018-03-08
| |/ |/|
| * Closes #6830: coqdep reads options and files from _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
* | Remove non-existent dependencyGravatar mrmr19932018-03-05
* | Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \
* | | Remove 8.5 compatibility support.Gravatar Théo Zimmermann2018-03-02
* | | Remove VOld compatibility flag.Gravatar Théo Zimmermann2018-03-02
| | * Add source (project file / command line) to project fields.Gravatar Gaëtan Gilbert2018-03-01
| | * Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGravatar Gaëtan Gilbert2018-02-28
| * | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
| |/
* / Fix #6751 trust_file_cache logic was invertedGravatar Gaëtan Gilbert2018-02-27
|/
* New IR in VM: Clambda.Gravatar Maxime Dénès2018-02-23
* Merge PR #6753: [toplevel] Make toplevel state into a record.Gravatar Maxime Dénès2018-02-19
|\
* \ Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\ \
| * | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| | * [ide] Localize a IDE-specific flag.Gravatar Emilio Jesus Gallego Arias2018-02-15
| |/ |/|
* | [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
|/
* [lib] Respect change of options under with/without_option.Gravatar Emilio Jesus Gallego Arias2018-01-30
* Merge PR #6493: [API] remove large file containing duplicate interfacesGravatar Maxime Dénès2017-12-29
|\
* \ Merge PR #6405: Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-29
|\ \
* \ \ Merge PR #6433: [flags] Move global time flag into an attribute.Gravatar Maxime Dénès2017-12-29
|\ \ \
| | | * [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
| |_|/ |/| |
| | * Remove the local polymorphic flag hack.Gravatar Maxime Dénès2017-12-27
| |/ |/|