blob: ef295a93d509e4d5a530cb7ee4b85cb3fae45e30 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(* Demonstrates a bug with XEmacs 21.1: after procesing, between
two terms, buffer-syntactic-context returns "string".
But _before_ processing, it correctly returns "nil".
Even when regions are removed, still get "string" returned
after processing started.
Bug doesn't occur in GNU Emacs (using imp of buffer-syntactic context
provided in proof-compat.el), nor in XEmacs 21.4
Workaround added Fri Aug 10 13:55:28 BST 2001
*)
theory XEmacsSyntacticContextProb imports Main begin
term "
(f x)"
term "(f x)"
end
|