diff options
| author | vgross | 2009-11-23 20:57:33 +0000 |
|---|---|---|
| committer | vgross | 2009-11-23 20:57:33 +0000 |
| commit | cc0d671fa1f73e8984d9116b855e1c4a08cae6af (patch) | |
| tree | 8925e6d801dffd66fe43967b19298e1bd290c961 /plugins/xml/xmlcommand.ml | |
| parent | 8ea95ff47dcbad4f28a37dfd40882f4c83bcc49c (diff) | |
Ergonomy and robustness fix
Sentences are locked up to the period, and it's now possible to eval
when there is no final whitespace. CoqIde will refuse to evaluate
further if there is no whitespace, though.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12539 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions