diff options
| author | aspiwack | 2011-08-10 14:15:52 +0000 |
|---|---|---|
| committer | aspiwack | 2011-08-10 14:15:52 +0000 |
| commit | 08502c0d2299ed820a07e76fe785b6330ff119cd (patch) | |
| tree | 65cef26fe43c27526f6861f7a771e2f38a36f537 /plugins/syntax/string_syntax.ml | |
| parent | ab6bdf1f65366c307d3467f451d1fad97d606988 (diff) | |
Graceful error message for [Proof Mode] and [Set Default Proof Mode] when requiring a non-existing proof mode.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14396 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions