Vladimir Komendantsky <[email protected]> writes: > I've found that computations involving calls to a language toplevel > take at least 3 times longer in emacs 23.1 compared to emacs 22.3. In > both cases I use the same ProofGeneral mode version 3.7 that comes > with Debian squeeze.
Can you elaborate on the problem? Thanks -- Rob Browning rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
