Theorem proving
* Proof General: (ProofGeneral).	 Organize your proofs with Emacs!
* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers