proof-general/coq/ex/test-cases/stale-load-path, branch master

proof-general/coq/ex/test-cases/stale-load-path, branch master Emacs plugins for proof management systems - fixed stale load path problem with killing the proof shell in 2011-01-18T21:46:18+00:00 Hendrik Tews 2011-01-18T21:46:18+00:00 358b338316430fe8707780985702b2a925a45abc the deactivation-hook

  the deactivation-hook

- more coq test cases (some with surprising and embarrassing bugs) 2011-01-14T21:59:26+00:00 Hendrik Tews 2011-01-14T21:59:26+00:00 e1f5de972cbc0eb8d88675366c34ee66aca1b1b4