diff options
author | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-04-28 18:25:53 +0000 |
---|---|---|
committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-04-28 18:25:53 +0000 |
commit | e870066f07eb872f5e913d9819f683bea13367cf (patch) | |
tree | bde25d573ca011df31941dc07b27226b2c418fc2 /INSTALL.ide | |
parent | ab65dd50ee42dd64a8df08ec61fef6da307123ca (diff) |
coqide: search forward
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 6e471348e..4d2b123d8 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -30,7 +30,7 @@ INSTALLATION If this not the case, this means that Coq computations will be slow and "make ide" will fail. Use "make bin/coqide.byte" instead. To fix this problem, just recompile OCaml from source - and configure with : "./configure --with-pthreads". + and configure OCaml with : "./configure --with-pthreads". In case you install over an existing copy of OCaml, you should better empty the OCaml installation directory. @@ -64,8 +64,14 @@ INSTALLATION make install-ide NOTES -Font configuration is not saved. -If you want to change the defaults fonts, just copy the -.coqiderc file located in the ide subdir of the Coq library to -your home directory and edit it by hand. +There are two configuration files located in your $(HOME) dir. You may need to + set HOME to any sensible value under Windows. + +- .coqiderc is generated by coqide itself. It may be edited by hand or + using the Preference menu from coqide. It will be generated the first time + you save your preferences in Coqide. + +- .coqide-gtk2rc is a standard Gtk2 configuration file. A sample file can be + found in the coq lib ide subdir. + Read ide/FAQ for more informations. |