index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
Add a [Redirect] vernacular command
Clément Pit--Claudel
2015-05-04
*
Remove almost all the uses of string concatenation when building error messages.
Guillaume Melquiond
2015-04-23
*
Removing dead code in Pp.
Pierre-Marie Pédrot
2015-04-23
*
Pp: obsolete comment.
Arnaud Spiwack
2015-04-22
*
Do not use list concatenation when gluing streams together, just mark them as...
Guillaume Melquiond
2015-04-22
*
STM: print trace on "anomaly, no safe id attached"
Enrico Tassi
2015-04-21
*
Adding a primitive to dump the current association table of dynamic types.
Pierre-Marie Pédrot
2015-03-16
*
Fixing printing of ordinals.
Pierre-Marie Pédrot
2015-02-26
*
New function [Constr.equal_with] to compare terms up to variants of [kind_of_...
Arnaud Spiwack
2015-02-24
*
Fix some typos in comments.
Guillaume Melquiond
2015-02-23
*
Future: human readable name for delegated (Close #4065)
Enrico Tassi
2015-02-21
*
Revert "Using same code for browsing physical directories in coqtop and coqdep."
Hugo Herbelin
2015-02-12
*
Using same code for browsing physical directories in coqtop and coqdep.
Hugo Herbelin
2015-02-12
*
Adding a statistic function on hashconsing tables.
Pierre-Marie Pédrot
2015-02-11
*
Fixing bug #4009.
Pierre-Marie Pédrot
2015-02-07
*
More efficient Richpp.
Pierre-Marie Pédrot
2015-02-06
*
Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)
Enrico Tassi
2015-02-05
*
More efficient implementation of Richpp.
Pierre-Marie Pédrot
2015-02-04
*
CThread: workaround for threads lockup on windwos made more aggressive
Enrico Tassi
2015-02-04
*
Removing dead code.
Pierre-Marie Pédrot
2015-02-02
*
Update headers.
Maxime Dénès
2015-01-12
*
Fix a few typos.
Maxime Dénès
2015-01-12
*
Extraction: no more ascii blob in type variables (fix #3227)
Pierre Letouzey
2015-01-11
*
Adding more sharing in Map.udpate and Map.modify.
Pierre-Marie Pédrot
2015-01-10
*
Safer version of the implementation of stores.
Pierre-Marie Pédrot
2015-01-06
*
remove unused iArray
Enrico Tassi
2015-01-06
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
Inlining Spawn.kill_if in the one place were it was actually used, thus
Pierre-Marie Pédrot
2014-12-25
*
Fixed bad newlines in output for std output and emacs.
Pierre Courtieu
2014-12-18
*
Ensuring the good invariants of hashcons table generation in the API.
Pierre-Marie Pédrot
2014-12-17
*
Future: blocking by default
Enrico Tassi
2014-12-17
*
STM: rename and simplify flags
Enrico Tassi
2014-12-17
*
Spawn: fix request of Gc statistics
Enrico Tassi
2014-12-17
*
CThread: use a different type for thread friendly in_channels
Enrico Tassi
2014-12-17
*
Dyn: add API to check of two Dyn.t are ==
Enrico Tassi
2014-12-17
*
msg_info now puts infomsg tag in emacs mode.
Pierre Courtieu
2014-12-16
*
Proper thread-safe implementation for Exninfo.
Pierre-Marie Pédrot
2014-12-16
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
*
Changed bullet informations to warning for better display in PG.
Pierre Courtieu
2014-12-15
*
Util.un_op -> Option.default
Pierre Boutillier
2014-12-14
*
Fixing bug #3858 and #3817 in one stroke.
Pierre-Marie Pédrot
2014-12-14
*
Searchxxx now search also the hypothesis and support goal selector.
Pierre Courtieu
2014-12-12
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
Better comment
Enrico Tassi
2014-12-01
*
Future: API for blocking futures
Enrico Tassi
2014-11-28
*
better to always print the thread id
Enrico Tassi
2014-11-27
*
async_queries_* merged with async_proofs_*
Enrico Tassi
2014-11-27
*
Feedback: API cleaned up, documented and made user extensible
Enrico Tassi
2014-11-27
*
Making map_union a standard function of the ML library.
Hugo Herbelin
2014-11-19
*
Reworking the -color flag of coqtop.
Pierre-Marie Pédrot
2014-11-15
[next]