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