diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-27 19:20:01 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-27 19:44:04 +0200 |
commit | 076efd5f8d17f1b73bcc7669641b89f86819e3c9 (patch) | |
tree | 919af6e55aa85ef4c0dcb213335ddd980b6fe2d6 /clib | |
parent | c1dcb97cf95c10d19f67689108da8726232da4fb (diff) |
stm: don't propagate side effects when editing a proof
Diffstat (limited to 'clib')
0 files changed, 0 insertions, 0 deletions