[isabelle] Proof General crash



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?

- Gergely

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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.