aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* Documenting Option.List.find.Gravatar Hugo Herbelin2017-05-05
* Cosmetic: unifying style within option.ml.Gravatar Hugo Herbelin2017-05-05
* Upgrading some local function as a general-purpose combinator Option.List.map.Gravatar Hugo Herbelin2017-05-05
* Fix 4.04 warningsGravatar Gaetan Gilbert2017-04-27
* Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* Remove unused [rec] keywordsGravatar Gaetan Gilbert2017-04-27
* Locally disable some warnings.Gravatar Gaetan Gilbert2017-04-27
* [flags] Deprecate is_silent/is_verbose in favor of single flag.Gravatar Emilio Jesus Gallego Arias2017-04-21
* [flags] Documentation and a minor tweak.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [toplevel] Remove exception error printer in favor of feedback printer.Gravatar Emilio Jesus Gallego Arias2017-04-05
* Merge PR#502: [pp] Add anomaly header to error messages.Gravatar Maxime Dénès2017-04-04
|\
* \ Merge branch 'v8.6' into trunkGravatar Maxime Dénès2017-03-24
|\ \
| | * [pp] Add anomaly header to anomaly error messages.Gravatar Emilio Jesus Gallego Arias2017-03-22
| |/ |/|
* | [pp] Hide the internal representation of `std_ppcmds`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Move terminal-specific tagging to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Debug feeder is not needed anymore.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [error] Move back fatal_error to toplevelGravatar Emilio Jesus Gallego Arias2017-03-21
* | [feedback] Allow to remove feedback listeners.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove redundant white spacing pp construct.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Force well-formed boxes by construction.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Force well-tagged docs by construction.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Implement n-ary glue.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make pp public to allow serialization.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Prepare for serialization, remove opaque glue.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove `Pp.stras`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Gravatar Emilio Jesus Gallego Arias2017-03-21
* | Merge PR#134: Enable `-safe-string`Gravatar Maxime Dénès2017-03-21
|\ \
| | * [future] Use eager evaluation for chaining values.Gravatar Emilio Jesus Gallego Arias2017-03-20
| * | [safe-string] lib/miscelaneaGravatar Emilio Jesus Gallego Arias2017-03-14
| * | [safe-string] lib/cUnixGravatar Emilio Jesus Gallego Arias2017-03-14
| * | [safe_string] lib/cThreadGravatar Emilio Jesus Gallego Arias2017-03-14
* | | [future] Remove unused parameter greedy.Gravatar Emilio Jesus Gallego Arias2017-03-14
|/ /
* | Merge PR#189: Remove tabulation support from pretty-printing.Gravatar Maxime Dénès2017-02-20
|\ \
* | | [unicode] Address comments in PR#314.Gravatar Emilio Jesus Gallego Arias2017-02-15
* | | [safe-string] Use `String.init` to build string.Gravatar Emilio Jesus Gallego Arias2017-02-14
* | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-01
|\ \ \ | | |/ | |/|
* | | Merge PR#355: Remove unused feedback_content: GoalsGravatar Maxime Dénès2017-01-30
|\ \ \
| | * \ Merge PR#383: fix #5244: set printing width ignored when given enough spaceGravatar Maxime Dénès2017-01-24
| | |\ \
* | | \ \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | Fix race condition in STM DAG generation (in debug mode).Gravatar Maxime Dénès2017-01-13
| * | | | Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13
* | | | | Avoid using the deprecated Scanf.fscanf function.Gravatar Maxime Dénès2017-01-09
* | | | | Merge remote-tracking branch 'github/pr/351' into trunkGravatar Maxime Dénès2016-12-19
|\ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 10:33:21 +0000