[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#582768: marked as done (proofgeneral: file-error "cannot open load file" "hilit19")

Your message dated Tue, 14 Jun 2022 07:55:27 +0200
with message-id <c14b06d99b3fc4eb5d20e77c6ca02125146e8e0f.camel@gmail.com>
and subject line Obsolete bug
has caused the Debian Bug report #582768,
regarding proofgeneral: file-error "cannot open load file" "hilit19"
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
582768: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582768
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: proofgeneral
Version: 3.7-3.1
Severity: normal

I installed proofgeneral on my desktop, and it works properly (including
highlighting).
Now I install it on my laptop, and highlighting doesn't work.
Both run Debian unstable, Emacs 23.2.

Testcase:
1. proofgeneral x.v
    On my desktop it opens and highlits file properly. On my laptop it opens,
    and gives the error that it can't find 'hilit19' and doesn't highlight
    anything.
2. emacs x.v
M-x coq-mode

On both the laptop and the desktop this gives the error that 'hilit19' can't be
found.

I did a rgrep hilit19 /usr/share/emacs* on my desktop and only found coq.elc
(and some files like NEWS, AUTHORS), do I don't think hilit19 is defined on my
desktop either.
But for some reason proofgeneral works just fine without it on
the desktop, but not on the laptop.

How do I make proofgeneral work the same way as it does on my desktop?
Do I need to install additional packages?

P.S.: this bugreport was filed from the laptop, where proofgeneral doesn't work.

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.33.2 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages proofgeneral depends on:
ii  debconf [debconf-2.0]     1.5.32         Debian configuration management sy
ii  dpkg                      1.15.7.1       Debian package management system
ii  emacs [emacsen]           23.2+1-2       The GNU Emacs editor (metapackage)
ii  emacs23 [emacsen]         23.2+1-2       The GNU Emacs editor (with GTK+ us
ii  install-info              4.13a.dfsg.1-5 Manage installed documentation in 

Versions of packages proofgeneral recommends:
ii  proofgeneral-misc             3.7-3.1    generic interface for proof assist

Versions of packages proofgeneral suggests:
pn  x-symbol                      <none>     (no description available)

-- debconf information:
* proofgeneral/autoload: true

--- End Message ---
--- Begin Message --- 
Hi,

the recent coq versions don't ship any coq for emacs file, so this bug
is now obsolete.

Cheers,

J.Puydt

--- End Message ---
Reply to: