various revisions, todo's, missingfigure's
citations
queries about remaining citations
rh entries
RH entries
added citations
minor correction
*** empty log message ***
coq entry problem
coq entry
pinsn mess-up
citations