Git mirror of Skim, an open source PDF reader for Mac OS X