Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | backport to coq 8.10.2 | Sylvain Boulmé | 2020-05-11 | 1 | -0/+5 |
* | Adding copyrights | Cyril SIX | 2020-05-04 | 1 | -0/+12 |
* | rm commented-out stuff | David Monniaux | 2020-04-08 | 1 | -86/+0 |
* | last Qed | David Monniaux | 2020-04-08 | 1 | -5/+139 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+71 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+66 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+90 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -4/+9 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+21 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -2/+8 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+6 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+23 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -3/+25 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -0/+24 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -16/+25 |
* | progress in proofs | David Monniaux | 2020-04-08 | 1 | -1/+78 |
* | installed Profiling (not finished) | David Monniaux | 2020-04-08 | 1 | -0/+227 |