/audio/resid/

gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Push the DOCS test into the right sectionbapt2013-06-051-4/+5
* Convert to new options frameworkbapt2013-06-051-29/+30
* 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