diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-28 19:20:11 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-28 19:22:46 -0500 |
commit | 11b03d47628bf833e98e0b3d8ae9c5c9a358235d (patch) | |
tree | 30c4bc158b8941e6ba63f06750a11bfa53fae062 /hol98/README | |
parent | 81691ff03d8a13185a829d9975c59e0f5ebdd6aa (diff) |
Don't add the ‘Time’ prefix to internal Coq commands
This ensures that parts of Proof General that use Coq commands in the
background are not confused by extra timing information.
Diffstat (limited to 'hol98/README')
0 files changed, 0 insertions, 0 deletions