aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Unicode.ascii_of_ident is now truly injectiveGravatar Pierre Letouzey2016-05-19
* Fix bug #4722: Coq dies when encountering broken symbolic links.Gravatar Pierre-Marie Pédrot2016-05-12
* typoGravatar Enrico Tassi2016-05-04
* Print magic numbers in bad magic error messageGravatar Tej Chajed2016-04-25
* A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2016-03-22
* Fix #4591: Uncaught exception in directory browsing.Gravatar Pierre-Marie Pédrot2016-03-15
* Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)Gravatar Enrico Tassi2016-03-09
* Rename Ephemeron -> CEphemeron.Gravatar Maxime Dénès2016-03-04
* Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.Gravatar Pierre-Marie Pédrot2016-03-03
* Don't fail fatally if PATH is not set.Gravatar Emilio Jesus Gallego Arias2016-02-10
* Restore warnings produced by the interpretation of the command lineGravatar Hugo Herbelin2016-01-22
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
* Protect code against changes in Map interface.Gravatar Maxime Dénès2016-01-06
* Fix order of files in mllib.Gravatar Maxime Dénès2016-01-05
* COMMENTS: PredicateGravatar Matej Kosik2016-01-05
* Do not dump a glob reference when its location is ghost. (Fix bug #4469)Gravatar Guillaume Melquiond2015-12-31
* spawn: fix leak of file descriptorsGravatar Enrico Tassi2015-12-17
* Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removingGravatar Hugo Herbelin2015-12-10
* Remove remaining occurrences of Unix.readdir.Gravatar Guillaume Melquiond2015-12-09
* Replace Unix.readdir by Sys.readdir in dir cache.Gravatar Emilio Jesus Gallego Arias2015-12-09
* Fix for case-insensitive path looking continued (#2554): Adding aGravatar Hugo Herbelin2015-11-25
* Generalizing the patch to bug #2554 on fixing path looking withGravatar Hugo Herbelin2015-11-25
* 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