aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\
| * Revert the four previous commits and update the description of Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * More invariants in Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * More parametric type for generalized XML.Gravatar Pierre-Marie Pédrot2015-08-15
| * Statically ensure that we omit null annotations in Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * Fixing richpp behaviour w.r.t. its specification.Gravatar Pierre-Marie Pédrot2015-08-15
| * Reverting 16 last commits, committed mistakenly using the wrong push command.Gravatar Hugo Herbelin2015-08-02
| * A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2015-08-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-29
|\|
| * Fixing bug #4281: Better escaping of XML attributes.Gravatar Pierre-Marie Pédrot2015-07-28
| * Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Gravatar Guillaume Melquiond2015-07-28
| * Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-24
|\|
* | Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-23
| * Add a Set Dump Bytecode command for debugging purposes.Gravatar Maxime Dénès2015-06-23
* | Fixup last commitGravatar Pierre Boutillier2015-06-22
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-01
|\|
| * Flag -test-mode intended to be used for ad-hoc prints in test-suiteGravatar Enrico Tassi2015-05-29
| * Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.Gravatar Hugo Herbelin2015-05-22
| * Changing the heuristic fixing bug #4241.Gravatar Pierre Courtieu2015-05-21
| * Answering report #4241 (formatting of boxes not behaving regularlyGravatar Hugo Herbelin2015-05-20
| * Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesGravatar Hugo Herbelin2015-05-20
| * The Fail command does not catch uncaught exception anomalies anymore.Gravatar Pierre-Marie Pédrot2015-05-18
| * On MacOS X, ensuring that files found in the file system have theGravatar Hugo Herbelin2015-05-15
* | Merge v8.5 into trunkGravatar Hugo Herbelin2015-05-15
|\|
| * The -list-tag options now prints the corresponding COQ_COLORS value.Gravatar Pierre-Marie Pédrot2015-05-14
| * Adding an option -w to control Coq warning output.Gravatar Pierre-Marie Pédrot2015-05-14
| * Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
|\|
| * Add a [Redirect] vernacular commandGravatar Clément Pit--Claudel2015-05-04
| * Remove almost all the uses of string concatenation when building error messages.Gravatar Guillaume Melquiond2015-04-23
| * Removing dead code in Pp.Gravatar Pierre-Marie Pédrot2015-04-23
| * Pp: obsolete comment.Gravatar Arnaud Spiwack2015-04-22
| * Do not use list concatenation when gluing streams together, just mark them as...Gravatar Guillaume Melquiond2015-04-22
| * STM: print trace on "anomaly, no safe id attached"Gravatar Enrico Tassi2015-04-21
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-23
|\|
| * Adding a primitive to dump the current association table of dynamic types.Gravatar Pierre-Marie Pédrot2015-03-16
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-26
|\|
| * Fixing printing of ordinals.Gravatar Pierre-Marie Pédrot2015-02-26
| * New function [Constr.equal_with] to compare terms up to variants of [kind_of_...Gravatar Arnaud Spiwack2015-02-24
* | Merge branch 'v8.5' into trunkGravatar Enrico Tassi2015-02-23
|\|
| * Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-23
|\|
| * Future: human readable name for delegated (Close #4065)Gravatar Enrico Tassi2015-02-21
* | Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-16
| * Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
| * Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-11
|\|
| * Adding a statistic function on hashconsing tables.Gravatar Pierre-Marie Pédrot2015-02-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 09:53:06 +0000