diff options
Diffstat (limited to 'math/isabelle/Makefile')
| -rw-r--r-- | math/isabelle/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index b3c65d44607f..a6e8b056a0b5 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -19,7 +19,7 @@ DISTFILES= Isabelle2009.tar.gz \ Isabelle2009_pdf.tar.gz .endif -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert@cs.ucr.edu COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of faster Poly/ML" off |