From bdabf268a9da019dbd939e04211e87d5459e4d9d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 14 Sep 2000 13:31:14 +0000 Subject: Updated --- CHANGES | 7 +------ README.devel | 17 +++++++++-------- todo | 3 +++ 3 files changed, 13 insertions(+), 14 deletions(-) diff --git a/CHANGES b/CHANGES index 2e573501..299fad14 100644 --- a/CHANGES +++ b/CHANGES @@ -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 diff --git a/todo b/todo index 367060ea..cf28907a 100644 --- a/todo +++ b/todo @@ -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: \ does not work, but \ is OK. + A file-loading messages from Isabelle not recognized any more? (multiple file eg) B Keybindings for processing theory in thy mode gone?? -- cgit v1.2.3