diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 15:21:15 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 19:06:22 +0200 |
| commit | fc4fa4e42289cd13a8732ff2e08bf33ba1708928 (patch) | |
| tree | e3d80ca3ff270688cef7dbe4acb48d950333bae9 | |
| parent | 6f7aebb09c89e95bd7520dad482f20e7a11fb279 (diff) | |
CHANGES: yellow in Coqide.
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -209,6 +209,8 @@ Tools Interfaces - CoqIDE uses the new STM machinery, allowing for asynchronous edition. +- CoqIDE highlight in yellow "unsafe" commands such as axiom + declarations, and tactics like "admit". Internal Infrastructure |