aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Fixed #4274, bad formatting of messages in emacs mode.Gravatar Pierre Courtieu2015-10-19
* Miscellaneous typos, spacing, US spelling in comments or variable names.Gravatar Hugo Herbelin2015-10-18
* Fix some typos.Gravatar Guillaume Melquiond2015-10-14
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* aux_file: export API to ease writing of a Proof Using annotator.Gravatar Enrico Tassi2015-10-08
* CThread: blocking read + threads now worksGravatar Enrico Tassi2015-10-08
* Spawn: use each socket exclusively for writing or readingGravatar Enrico Tassi2015-10-08
* Future: make not-here/not-ready messages customizableGravatar Enrico Tassi2015-10-08
* emacs output mode: Added <infomsg> tag to debug messages.Gravatar Pierre Courtieu2015-10-02
* Make the interface of System.raw_extern_intern much saner.Gravatar Guillaume Melquiond2015-09-29
* Prevent States.intern_state and System.extern_intern from looking up files in...Gravatar Guillaume Melquiond2015-09-29
* Revert "On MacOS X, ensuring that files found in the file system have the"Gravatar Maxime Dénès2015-09-20
* Fixing previous patch.Gravatar Pierre-Marie Pédrot2015-09-10
* Fixing the XML lexer definition of names to match the standard.Gravatar Pierre-Marie Pédrot2015-09-10
* 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
* 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
* Add a Set Dump Bytecode command for debugging purposes.Gravatar Maxime Dénès2015-06-23
* 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
* 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
* 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
* Adding a primitive to dump the current association table of dynamic types.Gravatar Pierre-Marie Pédrot2015-03-16
* 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
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Future: human readable name for delegated (Close #4065)Gravatar Enrico Tassi2015-02-21
* 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
* Adding a statistic function on hashconsing tables.Gravatar Pierre-Marie Pédrot2015-02-11
* Fixing bug #4009.Gravatar Pierre-Marie Pédrot2015-02-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 21:40:34 +0000