lecture notes on revisions for solar system astronomy 85411