cvs commit: ports/math/proofgeneral Makefile ports/lang/polyml
Makefile ports/math/isabelle Makefile
Martin Wilke
miwi at FreeBSD.org
Fri Feb 26 09:30:28 UTC 2010
miwi 2010-02-26 09:30:28 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile
lang/polyml Makefile
math/isabelle Makefile
Log:
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Feature safe: yes
Revision Changes Path
1.10 +1 -1 ports/lang/polyml/Makefile
1.13 +1 -1 ports/math/isabelle/Makefile
1.24 +1 -1 ports/math/proofgeneral/Makefile
More information about the cvs-ports
mailing list