diff options
| author | pboutill | 2011-11-20 20:03:01 +0000 |
|---|---|---|
| committer | pboutill | 2011-11-20 20:03:01 +0000 |
| commit | 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 (patch) | |
| tree | 259c4924513d58738b46d15dff1007bb68f389e5 /CHANGES | |
| parent | e2da4610f7e27d289ada98383c079c3c939b20c6 (diff) | |
CoqIdE configuration file won't pollute your home anymore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -191,11 +191,14 @@ CoqIDE - Coqide now runs coqtop as separated process, making it more robust: coqtop subprocess can be interrupted, or even killed and relaunched - (cf button "Restart Coq", ex-"Go to Start"). For allowing such interrupts, - the Windows version of coqide now requires Windows >= XP SP1. + (cf button "Restart Coq", ex-"Go to Start"). For allowing such + interrupts, the Windows version of coqide now requires Windows >= XP + SP1. - The Coqide parsing of sentences has be reworked and now supports tactic delimitation via { }. - Coqide now accepts the Abort command (wish #2357). +- Preference files have moved to $XDG_CONFIG_HOME/coq and accelerators + are not stored in a list anymore. Tools @@ -208,7 +211,7 @@ Tools * More variables are given by coqtop -config, others are defined only if the users doesn't have defined them elsewhere. Consequently, generated makefile should work directly on any architecture. - * Packager can take advantage of $(DSTROOT) introduction + * Packagers can take advantage of $(DSTROOT) introduction Changes from V8.2 to V8.3 ========================= |