aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Specializing the Dyn module to each usecase.Gravatar Pierre-Marie Pédrot2015-12-04
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-11-26
|\
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-19
|\|
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-15
|\|
| * Fix some typos.Gravatar Guillaume Melquiond2015-10-14
| * Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-09
|\|
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
| * Revert "On MacOS X, ensuring that files found in the file system have the"Gravatar Maxime Dénès2015-09-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-13
|\|
| * 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
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 21:41:48 +0000