diff options
author | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-24 10:14:47 +0000 |
---|---|---|
committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-24 10:14:47 +0000 |
commit | 770154190c12f6b2f1a103ae16ce41b948cc2d27 (patch) | |
tree | a506850f106b904b476bc95b1a723249ba28f5dd /tactics/tacinterp.mli | |
parent | 8428508fc0e7ec91470eecc0cb4b67f44121b696 (diff) |
Modification of the unjustified tag.
It seemed to intrusive to have it display the text underlined and red.
The goal of this tag is to notify the user when Coq doesn't guarantee
correctness, not to make the command look like an error.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15759 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/tacinterp.mli')
0 files changed, 0 insertions, 0 deletions