diff options
| author | Hendrik Tews | 2011-01-21 09:59:35 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-21 09:59:35 +0000 |
| commit | e8e9187778549aa132b33321394345c99992b8b4 (patch) | |
| tree | 7df88deb31bf8572f90b345302011ce5bb90bf73 /pgshell/example.pgsh | |
| parent | 70140e80a12f3081cfc3fdf2c77ca759cc02dddc (diff) | |
- use time-less-p
- delete previous-head, simplify loop
- coq 8.2 compatibility
- describe bug for killing completely asserted active buffers in
coq/ex/test-cases/retract-completely-asserted
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions