cvs commit: ports/math/proofgeneral Makefile ports/lang/polyml Makefile ports/math/isabelle Makefile

[Martin Wilke]

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