aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
...
* | PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.Gravatar Maxime Dénès2017-07-21
* | coq_makefile: use System.exists_dir for better portabilityGravatar Enrico Tassi2017-07-20
* | Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)Gravatar Enrico Tassi2017-07-20
| * Also a less intrusive Profile.init_profile.Gravatar Hugo Herbelin2017-07-20
| * A less intrusive Profile.close_profile.Gravatar Hugo Herbelin2017-07-20
* | Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]Gravatar Maxime Dénès2017-07-20
|\ \
* \ \ Merge PR #869: Enforce alternating separators in typeclass debug outputGravatar Maxime Dénès2017-07-20
|\ \ \ | |_|/ |/| |
| | * [pp] Fix bugs 5651 [incorrect thunk in pretty printer]Gravatar Emilio Jesus Gallego Arias2017-07-19
| |/ |/|
* | Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rat...Gravatar Maxime Dénès2017-07-17
|\ \
| | * format pairs of items for pr_depth to get alternating separatorsGravatar Paul Steckler2017-07-12
| * | Adding support for bindings tags to explicit prefix/suffix rather than colors.Gravatar Hugo Herbelin2017-07-08
| |/
* / use Int.equal instead of polymorphic =Gravatar Paul Steckler2017-07-05
|/
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
| * Fix bug 5392: Warnings defined in plugins are considered unknownGravatar Maxime Dénès2017-06-23
* | Merge PR#613: Cumulativity for inductive typesGravatar Maxime Dénès2017-06-19
|\ \
* | | Fix typo in comment.Gravatar Maxime Dénès2017-06-19
| * | Fix bugs and add an option for cumulativityGravatar Amin Timany2017-06-16
|/ /
* | Merge PR#375: DeprecationGravatar Maxime Dénès2017-06-15
|\ \
* \ \ Merge PR#739: completing a sentence in a commentGravatar Maxime Dénès2017-06-14
|\ \ \
| | * | Remove support for Coq 8.4.Gravatar Guillaume Melquiond2017-06-14
| | * | Remove support for Coq 8.3.Gravatar Guillaume Melquiond2017-06-14
| | * | Remove support for Coq 8.2.Gravatar Guillaume Melquiond2017-06-14
| | * | Add a version to be used when parsing compatibility notations mentioning old ...Gravatar Guillaume Melquiond2017-06-14
| |/ / |/| |
* | | Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
| * | completing a sentence in a commentGravatar Matej Košík2017-06-07
* | | Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
|/ /
* | Merge PR#728: A few typos.Gravatar Maxime Dénès2017-06-06
|\ \
| * | A few typos.Gravatar Hugo Herbelin2017-06-04
* | | Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
|/ /
* | [emacs] [toplevel] Make emacs flag local to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-06-01
| * Bump year in headers.Gravatar Maxime Dénès2017-06-01
* | Merge PR#356: Making management of installation directories more structured, ...Gravatar Maxime Dénès2017-05-30
|\ \
* \ \ Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Maxime Dénès2017-05-30
|\ \ \
| | * | Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
| | * | Generalizing to docdir and datadir the test for a relocated installation.Gravatar Hugo Herbelin2017-05-29
| | * | Exporting the suffixes needed to build coqlib, docdir, etc.Gravatar Hugo Herbelin2017-05-29
| | * | Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
| | * | Configuration: always giving a value to configdir and datadir.Gravatar Hugo Herbelin2017-05-29
| | * | Dead code (xdg_config_dirs).Gravatar Hugo Herbelin2017-05-29
| * | | Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
| |/ /
* / / [cleanup] Unify all calls to the error function.Gravatar Emilio Jesus Gallego Arias2017-05-27
|/ /
* | Merge PR#666: romega revisited : no more normalization trace, cleaned-up reso...Gravatar Maxime Dénès2017-05-26
|\ \
* \ \ Merge PR#655: Extra functions exported in EConstrGravatar Maxime Dénès2017-05-26
|\ \ \
* \ \ \ Merge PR#645: [stm] Tweak debug options.Gravatar Maxime Dénès2017-05-25
|\ \ \ \
* \ \ \ \ Merge PR#406: coq makefile2Gravatar Maxime Dénès2017-05-25
|\ \ \ \ \
* | | | | | [location] Renaming "CAst.ast" to "CAst.t"Gravatar Matej Košík2017-05-24
* | | | | | Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\ \ \ \ \ \
| | * | | | | coq_makefile: avoid spurious ./ in generated .conf fileGravatar Enrico Tassi2017-05-23
| | * | | | | enters coq_makefile2Gravatar Enrico Tassi2017-05-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 06:12:00 +0000