/textproc/htdig/

s://www.csie.ntu.edu.tw/~b01902062/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Update to 2009.2makc2010-10-3110-2516/+3232
* - Mark BROKEN: bad plistpav2010-10-281-0/+2
* - update to 1.4.1dinoex2010-03-281-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
* - update to jpeg-8dinoex2010-02-051-0/+1
* - Update to 2009miwi2009-10-30