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