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