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.
As a result, I have to revert to emacs 22.3 to retain productivity.
Regards,
Vladimir
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.30lowlatency.1 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages emacs23 depends on:
ii emacs23-bin-common 23.1+1-4 The GNU Emacs editor's shared, arc
ii install-info 4.13a.dfsg.1-5 Manage installed documentation in
ii libasound2 1.0.21a-1 shared library for ALSA applicatio
ii libatk1.0-0 1.28.0-1 The ATK accessibility toolkit
ii libc6 2.9-25 GNU C Library: Shared libraries
ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra
ii libdbus-1-3 1.2.16-2 simple interprocess messaging syst
ii libfontconfig1 2.6.0-4 generic font configuration library
ii libfreetype6 2.3.11-1 FreeType 2 font engine, shared lib
ii libgif4 4.1.6-8 library for GIF images (library)
ii libglib2.0-0 2.22.2-2 The GLib library of C routines
ii libgpm2 1.20.4-3.2 General Purpose Mouse - shared lib
ii libgtk2.0-0 2.18.2-1 The GTK+ graphical user interface
ii libice6 2:1.0.5-1 X11 Inter-Client Exchange library
ii libjpeg62 6b-15 The Independent JPEG Group's JPEG
ii libm17n-0 1.5.4-1+b1 a multilingual text processing lib
ii libncurses5 5.7+20090803-2 shared libraries for terminal hand
ii libotf0 0.9.9-1 A Library for handling OpenType Fo
ii libpango1.0-0 1.26.0-1 Layout and rendering of internatio
ii libpng12-0 1.2.40-1 PNG library - runtime
ii librsvg2-2 2.26.0-1 SAX-based renderer library for SVG
ii libsm6 2:1.1.1-1 X11 Session Management library
ii libtiff4 3.9.1-1 Tag Image File Format (TIFF) libra
ii libx11-6 2:1.2.2-1 X11 client-side library
ii libxft2 2.1.13-3 FreeType-based font drawing librar
ii libxpm4 1:3.5.7-2 X11 pixmap library
ii libxrender1 1:0.9.4-2 X Rendering Extension client libra
ii zlib1g 1:1.2.3.3.dfsg-15 compression library - runtime
emacs23 recommends no packages.
Versions of packages emacs23 suggests:
ii emacs23-common-non-dfsg 23.1+1-1 GNU Emacs shared, architecture ind
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
> 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