diff options
| author | Hendrik Tews | 2011-01-25 14:25:16 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-25 14:25:16 +0000 |
| commit | eefba80ef3c4bae57738ebcaae66f36105d2b5ef (patch) | |
| tree | 0ae91e8ac372db77c80d2d3a24af41da44f6f400 /pgshell/example.pgsh | |
| parent | cba66a0146b5e0f9e22c4932021cd14436fa9d2b (diff) | |
- unlock files when retracting a Require command (implemented via
a span-delete-action and the 'coq-locked-ancestors property in
the spans of Require commands)
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions