diff options
author | 2012-11-14 09:23:14 +0000 | |
---|---|---|
committer | 2012-11-14 09:23:14 +0000 | |
commit | 6ad6776fe57c191a9ed48f0a3d6cd6d21e74e11a (patch) | |
tree | 31df105273a282c290d44c323c2e3bf1d0d13660 /doc/ProofGeneral.texi | |
parent | 78a60e73ff0398392d55be24f60446c58808509c (diff) |
fix coq-lock-ancestor for parallel compilation
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions