The node you are looking for is at
Features of Proof General
.