diff options
| author | Matthieu Sozeau | 2014-06-16 18:20:58 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-16 18:21:28 +0200 |
| commit | 951e508dc1fafd6788821a5a80c1b4759c81ae29 (patch) | |
| tree | 3f1b4a85cfd01d0f4c80c21cb14818fae7bf851e /kernel | |
| parent | 636782e3aef984e9d57681d14c4cae5629e4a2d8 (diff) | |
- Add "Show Universes" to print information about universes during a proof.
- Remove dead code in evarconv.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions