aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/localdir
blob: 2b366965c011541c16d984e26c4942d4a626df12 (plain)
1
2
3
Theorem proving
* Proof General: (ProofGeneral).	 Organize your proofs with Emacs!
* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers