Vladimir Komendantsky <komendant...@gmail.com> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
