diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-20 15:56:00 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-20 15:56:00 +0000 |
| commit | c0d693080a3108886d9ed6777c1b4c1ca741ed7d (patch) | |
| tree | 8866af78656bcdee2c5f2df344512dad2c5ec909 /INSTALL.win | |
| parent | 90e4bb226594b3f44febb369bb36d28af4fa2079 (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.win')
| -rw-r--r-- | INSTALL.win | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.win b/INSTALL.win index 7d3dfe105..f3a20f572 100644 --- a/INSTALL.win +++ b/INSTALL.win @@ -30,7 +30,7 @@ done by adding the following line to your AUTOEXEC.BAT: set PATH=%PATH%;C:\coq\bin You may also want to specify where Coq has to look for your configuration -file (.coqrc or .coqrc.6.3.1), e.g.: +file .coqrc (not mandatory), e.g.: set HOME=C:\My_Documents\Coq @@ -50,7 +50,7 @@ adding the following lines to your AUTOEXEC.BAT: set COQLIB=D:\My_Dir\coq\lib You may also want to specify where Coq has to look for your configuration -file (.coqrc or .coqrc.6.3.1), e.g.: +file .coqrc (not mandatory), e.g.: set HOME=C:\My_Documents\Coq |