diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-14 13:31:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-14 13:31:14 +0000 |
| commit | bdabf268a9da019dbd939e04211e87d5459e4d9d (patch) | |
| tree | 83d506b7f3414b1b01b2ad85e4a75d736ba9f7a3 | |
| parent | a377479a7228bc45f065cd10fe69aec51dc5ce5a (diff) | |
Updated
| -rw-r--r-- | CHANGES | 7 | ||||
| -rw-r--r-- | README.devel | 17 | ||||
| -rw-r--r-- | todo | 3 |
3 files changed, 13 insertions, 14 deletions
@@ -30,12 +30,7 @@ Also works around crash bug in xemacs-21.1.7/SuSE. Fix to previous function (used by FSF Emacs) by Markus Wenzel. XEmacs uses new functions which have slightly different - behaviour. If this is problematical, please report, and - force the use of the old function by writing: - - (defalias 'proof-segment-up-to 'proof-segment-up-to-old) - - in your .emacs file. (Warning: only during pre-release!) + behaviour around comments. *** Makefile has new target "scripts" to adjust paths in bash/perl scripts diff --git a/README.devel b/README.devel index e6909632..5b082c47 100644 --- a/README.devel +++ b/README.devel @@ -64,19 +64,20 @@ Hopefully one day we may have a proper test suite and mechanism to test across different versions of Emacs. For the time being, be careful of the following tips (gathered from experience). -*** Common Lisp macros -- Japan Emacsen have older versions - - - Use (dolist (var list) body), not (dolist (var list result) body). +*** Compatibility hacks collected in proof-compat.el + - This file contains implementations/emulations of functions to + provide uniformity between different Emacs versions. If you + use a function specific to XEmacs or newer versions, consider adding + a conditional definition of it here to support other versions + for a while. +*** Common Lisp macros -- Japan Emacsen have older versions -** Handy tips + - Use (dolist (var list) body), not (dolist (var list result) body). -*** Moving to new branch. - find * -path '*/CVS' -prune -o -path 'CVS' -prune -o -print | xargs cvs commit -m"Updating branch" -f -r 4.0 +** CVS tips -*** Making a new branch. - See etc/cvs-tips.txt @@ -29,6 +29,9 @@ X (Low) e.g. probably not worth spending time on *** Outstanding bugs to investigate +C The PG isabelle-completion-table seems to be subject to case-fold, which + it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK. + A file-loading messages from Isabelle not recognized any more? (multiple file eg) B Keybindings for processing theory in thy mode gone?? |