diff options
| author | herbelin | 2011-12-05 22:33:28 +0000 |
|---|---|---|
| committer | herbelin | 2011-12-05 22:33:28 +0000 |
| commit | 81429f879fa76ac24c25d89a6ada2073ea8361e2 (patch) | |
| tree | 1356e28b029cad322461a7736e702827541f7bed /kernel/kernel.mllib | |
| parent | 223429a0fe7de02ab4e495529b795f5733d6dd32 (diff) | |
Registering universe and meta/evar counters as summaries so as to
eventually get the same numbers when replaying (but does not work for
Undo/Abort which are still not plugged to the summary freezing
mechanism).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14764 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/kernel.mllib')
0 files changed, 0 insertions, 0 deletions