diff options
Diffstat (limited to 'math/proofgeneral/files/pkg-message.in')
| -rw-r--r-- | math/proofgeneral/files/pkg-message.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/math/proofgeneral/files/pkg-message.in b/math/proofgeneral/files/pkg-message.in index 9dd8deca8887..c14b4ae3c4c1 100644 --- a/math/proofgeneral/files/pkg-message.in +++ b/math/proofgeneral/files/pkg-message.in @@ -1,9 +1,12 @@ -------------------------------------------------------------------------------- +[ +{ type: install + message: <<EOM Please register your interest in this software before use: http://proofgeneral.inf.ed.ac.uk/register To load Proof General automatically when starting x/emacs, add the following line to the .emacs or .xemacs/init.el file: (load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el") - ------------------------------------------------------------------------------- +EOM +} +] |