diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 14:13:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 14:13:30 +0000 |
commit | 5dcb4363c6e083f513033946230d2ac2cc251caf (patch) | |
tree | f999784e955186447cf939b7d6634aa71531835a /CHANGES | |
parent | 41f4016951538f4b3dc935bb7d2bd57ee54014a9 (diff) |
Rename proof-shell-string-escapes -> proof-shell-filename-escapes
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 19 |
1 files changed, 17 insertions, 2 deletions
@@ -22,6 +22,11 @@ ** Generic Changes +*** Fixes for filenames with \ characters in them (mainly for Windows) + + Fixed for Coq, Isabelle, and HOL. + + *** Added key binding C-c C-BS and menu entry for delete last command This restores the old function of the sequence "C-u C-c C-u" onto @@ -105,17 +110,27 @@ *** Fix for Poly/ML with interrupts: use proof-shell-pre-interrupt-hook +*** Fix for directory changes under Windows + ** Isar Changes *** Syntax tweaks. +*** Fix for Poly/ML with interrupts: use proof-shell-pre-interrupt-hook -** Changes for developers to note +*** Fix for directory changes under Windows -*** todo files added for each prover (todo split from global todo). +** Changes for developers to note +*** todo files added for each prover (todo split from global todo). +*** Added new customization: proof-shell-filename-escapes + See documentation for details. This was to fix filename substitution + for occasions when Proof General needs to escape some special + characters in the filename. Each prover should set this for + good behaviour with strange filenames (including those of Windows!) +*** for others, see ChangeLog. |