From 489ff23513f751b518251998d7fa0143dff51633 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 23 Mar 2000 13:26:48 +0000 Subject: Notes about using on Windows --- INSTALL | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 83a0e10a..ea8679ef 100644 --- a/INSTALL +++ b/INSTALL @@ -54,6 +54,23 @@ If you have the RPM file, this is the line you should add to your (load-file "/usr/share/emacs/ProofGeneral/generic/proof-site.el") + +Running on Windows 95/98/NT +--------------------------- + +We recommend XEmacs compiled for Windows, see http://www.xemacs.org + +Unpack the Proof General tar or zip file, and rename the folder to +"ProofGeneral" to remove the version number. Put a line like this: + + (load-file "c:\\ProofGeneral\\generic\\proof-site.el") + +into .emacs. You should put .emacs in value of HOME if you set that, +or else in directory you installled XEmacs in, e.g. +c:\Program Files\XEmacs\.emacs + + + Byte Compilation. ----------------- @@ -113,14 +130,13 @@ Emacs 20.x and XEmacs. + + ---------------------------------------------------------------------- Notes for Coq ============= -If you want to use this mode for Coq, you need to make sure you have -an appropriate version, which is from later than 1 March 1998. - Check the values of coq-tags and coq-prog-name in coq.el to see that they correspond to the paths for coqtop and the library on your system. -- cgit v1.2.3