-*- outline -*-

* Summary of Changes for coq / Proof General 3.6

moved to ../CHANGES