proof-general/coq/ex/test-cases/retract-completely-asserted/README, branch master Emacs plugins for proof management systems - fix problem description 2011-01-26T10:43:52+00:00 Hendrik Tews 2011-01-26T10:43:52+00:00 e6fafcd7d4afc6e1d94a6db79d322499b2cb1b92 






- use time-less-p
2011-01-21T09:59:35+00:00

Hendrik Tews

2011-01-21T09:59:35+00:00

e8e9187778549aa132b33321394345c99992b8b4

- 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





- 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







- move proof-no-fully-processed-buffer to generic/proof-config
2011-01-14T15:50:47+00:00

Hendrik Tews

2011-01-14T15:50:47+00:00

05f9272860f9f57e6adfa150734ea7aa29702ca7

- add documentation for it
- add a test case demonstrating it in
  coq/ex/test-cases/retract-completely-asserted





- add documentation for it
- add a test case demonstrating it in
  coq/ex/test-cases/retract-completely-asserted