diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2007-04-26 18:41:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2007-04-26 18:41:52 +0000 |
| commit | 4835077e41fd8651e84eb2add7c7e85f50c8a646 (patch) | |
| tree | 1084fbd38f39a3722b441266b8894e4fc0c0c60d /coq/coq.el | |
| parent | 9c6280e42ae79fd8b5be853971f87ff362b00c4a (diff) | |
Fixed the "Time Qed." mistreating (now recognized as a save command
and make spans agregation ok).
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions