aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2015-10-08aux_file: export API to ease writing of a Proof Using annotator.Enrico Tassi
2015-10-08CThread: blocking read + threads now worksEnrico Tassi
2015-10-08Spawn: use each socket exclusively for writing or readingEnrico Tassi
2015-10-08Future: make not-here/not-ready messages customizableEnrico Tassi
2015-10-02emacs output mode: Added <infomsg> tag to debug messages.Pierre Courtieu
2015-09-29Make the interface of System.raw_extern_intern much saner.Guillaume Melquiond
2015-09-29Prevent States.intern_state and System.extern_intern from looking up files in...Guillaume Melquiond
2015-09-20Revert "On MacOS X, ensuring that files found in the file system have the"Maxime Dénès
2015-09-10Fixing previous patch.Pierre-Marie Pédrot
2015-09-10Fixing the XML lexer definition of names to match the standard.Pierre-Marie Pédrot
2015-08-15Revert the four previous commits and update the description of Richpp.Pierre-Marie Pédrot
2015-08-15More invariants in Richpp.Pierre-Marie Pédrot
2015-08-15More parametric type for generalized XML.Pierre-Marie Pédrot
2015-08-15Statically ensure that we omit null annotations in Richpp.Pierre-Marie Pédrot
2015-08-15Fixing richpp behaviour w.r.t. its specification.Pierre-Marie Pédrot
2015-08-02Reverting 16 last commits, committed mistakenly using the wrong push command.Hugo Herbelin
2015-08-02A patch renaming equal into eq in the module dealing withHugo Herbelin
2015-07-28Fixing bug #4281: Better escaping of XML attributes.Pierre-Marie Pédrot
2015-07-28Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)Guillaume Melquiond
2015-06-25Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Thomas Sibut-Pinote
2015-06-23Add a Set Dump Bytecode command for debugging purposes.Maxime Dénès
2015-05-29Flag -test-mode intended to be used for ad-hoc prints in test-suiteEnrico Tassi
2015-05-22Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.Hugo Herbelin
2015-05-21Changing the heuristic fixing bug #4241.Pierre Courtieu
2015-05-20Answering report #4241 (formatting of boxes not behaving regularlyHugo Herbelin
2015-05-20Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesHugo Herbelin
2015-05-18The Fail command does not catch uncaught exception anomalies anymore.Pierre-Marie Pédrot
2015-05-15On MacOS X, ensuring that files found in the file system have theHugo Herbelin
2015-05-14The -list-tag options now prints the corresponding COQ_COLORS value.Pierre-Marie Pédrot
2015-05-14Adding an option -w to control Coq warning output.Pierre-Marie Pédrot
2015-05-14Disable precompilation for native_compute by default.Guillaume Melquiond
2015-05-04Add a [Redirect] vernacular commandClément Pit--Claudel
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-04-23Removing dead code in Pp.Pierre-Marie Pédrot
2015-04-22Pp: obsolete comment.Arnaud Spiwack
2015-04-22Do not use list concatenation when gluing streams together, just mark them as...Guillaume Melquiond
2015-04-21STM: print trace on "anomaly, no safe id attached"Enrico Tassi
2015-03-16Adding a primitive to dump the current association table of dynamic types.Pierre-Marie Pédrot
2015-02-26Fixing printing of ordinals.Pierre-Marie Pédrot
2015-02-24New function [Constr.equal_with] to compare terms up to variants of [kind_of_...Arnaud Spiwack
2015-02-23Fix some typos in comments.Guillaume Melquiond
2015-02-21Future: human readable name for delegated (Close #4065)Enrico Tassi
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-11Adding a statistic function on hashconsing tables.Pierre-Marie Pédrot
2015-02-07Fixing bug #4009.Pierre-Marie Pédrot
2015-02-06More efficient Richpp.Pierre-Marie Pédrot
2015-02-05Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)Enrico Tassi
2015-02-04More efficient implementation of Richpp.Pierre-Marie Pédrot
2015-02-04CThread: workaround for threads lockup on windwos made more aggressiveEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 19:45:39 +0000