Package: proofgeneral
Version: 4.2~pre120206-1
Severity: wishlist
File: /usr/lib/emacsen-common/packages/install/proofgeneral
I saw the comment in the install script about proof-autoloads.el not
byte compiled. I think that's due to the local variable at the end of
that file,
;; no-byte-compile: t
which was probably created by update-autoloads, and the byte compiler
obeys.
An autoloads file can be helpfully byte compiled since the dynamic
docstrings thingie then leaves docstrings on disk until required, saving
some memory.
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (990, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.32-5-486
Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral depends on:
ii emacs23 23.3+1-1
ii mmm-mode 0.4.8-6
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
pn proofgeneral-doc <none>
-- no debconf information
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
