Email Gateway (Aug 18 2022 at 10:00): Email Gateway (Aug 18 2022 at 10:00):From: Gergely Buday <gbuday@gmail.com>
Hi,
I have a Fedora core 6. I've installed the following packages:
apel-xemacs-10.6-5.noarch.rpm
FreeWnn-libs-1.10pl020-5.i386.rpm
xemacs-21.4.17-0.FC3.i386.rpm
xemacs-common-21.4.17-0.FC3.i386.rpm
xemacs-sumo-20040818-2.noarch.rpm
Isabelle 2005
and ProofGeneral crashes. Actually the proof general logo appears and
then.
What is a known combination of packages that works?
Lisp backtrace follows:
dispatch-non-command-events()
# (condition-case ... . ((nil)))
progress-feedback-dispatch-non-command-events()
# bind (ext gutter-string val zmacs-region-stays inhibit-read-only
frame value message)
raw-append-progress-feedback("Fontifying Scratch.thy...
(syntactically)" 5 #<x-frame "emacs" 0x1537>)
# bind (tmsg top frame value message label)
append-progress-feedback(font-lock "Fontifying Scratch.thy...
(syntactically)" 5 nil)
# bind (frame value message label)
display-progress-feedback(font-lock "Fontifying Scratch.thy...
(syntactically)" 5)
# bind (str)
# (unwind-protect ...)
# bind (args value fmt label)
progress-feedback-with-label(font-lock "Fontifying %s...
(syntactically)" 5 "Scratch.thy")
# bind (loudly end start)
font-lock-fontify-syntactically-region(1 1 nil)
# (unwind-protect ...)
# bind (modified buffer-undo-list inhibit-read-only old-syntax-table
buffer-file-name buffer-file-truename loudly end beg)
font-lock-default-fontify-region(1 1 nil)
# bind (loudly end beg)
font-lock-fontify-region(1 1)
# (unwind-protect ...)
byte-code("..." [font-lock-fontify-region] 3)
# (condition-case ... . ((t (byte-code "?? ... 2))))
# bind (was-on font-lock-verbose font-lock-message-threshold aborted)
# (unwind-protect ...)
font-lock-default-fontify-buffer()
# bind (font-lock-verbose)
font-lock-fontify-buffer()
# bind (on-p maximum-size arg)
font-lock-mode(1)
turn-on-font-lock()
# bind (explicit-defaults)
font-lock-set-defaults()
run-hooks(font-lock-set-defaults)
# bind (nomodes after-find-file-from-revert-buffer noauto warn error)
after-find-file(t t)
byte-code("..." [buffer-file-number number truename
buffer-file-truename buf buffer-file-name set-buffer-major-mode
erase-buffer nil (byte-code ??? ??\"?? ??\" ?"
[rawfile filename insert-file-contents-literally t
insert-file-contents] 3) ((file-error ...)) abbreviate-file-name
file-name-directory make-local-variable backup-inhibited t
after-find-file find-file-use-truenames default-directory
backup-enable-predicate rawfile error nowarn] 3)
# (condition-case ... . ((t (byte-code "?!? @ A\" ...
3))))
# (unwind-protect ...)
# bind (error number truename buf rawfile nowarn filename)
find-file-noselect("/home/gergoe/Scratch.thy")
# bind (codesys filename)
find-file("/home/gergoe/Scratch.thy")
# bind (dir file-count line end-of-options file-p arg tem)
command-line-1()
# bind (command-line-args-left)
command-line()
# (condition-case ... . ((t (byte-code " ? ?" ... 1))))
# bind (error-data)
normal-top-level()
# (condition-case ... . error)
# (catch top-level ...)
[1]+ Szegmens hiba Isabelle
Last updated: May 03 2024 at 04:19 UTC