Admin/README.repos
2004-04-16 ago say how to install PG and poly
2004-04-16 ago fix cvs id
2004-04-16 ago describe how to work on Isabelle repository version