diff options
| author | aspiwack | 2011-04-29 15:03:25 +0000 |
|---|---|---|
| committer | aspiwack | 2011-04-29 15:03:25 +0000 |
| commit | d10841e20af67563b60d7cf91e251079b35b6636 (patch) | |
| tree | 5b3b2631b68b374eed85c93379ba081c790b4d3a /plugins/syntax/string_syntax.ml | |
| parent | 1bfd55b3ffc5d6bb710f1155bcac43cb3a3a35d0 (diff) | |
Fixed a bug causing inconsistent states during proof editting.
Some toplevel commands (for instance the experimental bullets) are
composed of several atomic commands, the failure of one must imply
the failure of the whole toplevel command. This commit introduces
a system of transaction to that effect.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14087 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions