Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use correct email program for sunbroy2
authorkleing
Fri, 27 Apr 2007 05:53:37 +0200
changeset 22820 e6803064a469
parent 22819 a7b425bb668c
child 22821 15b2e7ec1f3b
use correct email program for sunbroy2
Admin/isatest/isatest-doc file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-doc	Thu Apr 26 16:39:31 2007 +0200
+++ b/Admin/isatest/isatest-doc	Fri Apr 27 05:53:37 2007 +0200
@@ -28,7 +28,7 @@
 ISATOOL=$ISABELLE_DEVEL/bin/isatool
     
 
-MAIL=~/afp/release/admin/mail-attach
+MAIL=$HOME/bin/pmail
 
 TMP=/tmp/isatest-doc.mail.tmp
 while [ -e $TMP ]; do TMP=$TMP.x; done
isabelle