Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#162 closed defect (invalid)

Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28

Reported by: Mark A. Hillebrand Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-3.7
Component: 4:prover-isabelle Keywords:
Cc: mah@…

Description

Isabelle fails to start up with PG 3.7 and XEmacs 21.5.28, not sure if this is intended to work.

I have attached the error trace.

The same / a similar issues was also reported on the Isabelle mailing list, cf.:

​https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2007-August/msg00065.html

Attachments (1)

Isabelle2005-ProofGeneral-3.7pre071025-XEmacs-21.5.28-trace.txt​ (6.6 KB) - added by Mark A. Hillebrand 16 years ago.
Error trace on start-up of Isabelle2005 with PG-3.7 and XEmacs 21.5.28

Download all attachments as: .zip

Change History (4)

Changed 16 years ago by Mark A. Hillebrand

Attachment: Isabelle2005-ProofGeneral-3.7pre071025-XEmacs-21.5.28-trace.txt​ added

Error trace on start-up of Isabelle2005 with PG-3.7 and XEmacs 21.5.28

comment:1 Changed 16 years ago by Mark A. Hillebrand

The Isabelle version used was the Isabelle-2005 release.

comment:2 Changed 16 years ago by David Aspinall

Resolution: → invalid
Status: new → closed

Thanks for the report, appreciated. This should work. The backtrace suggests your XEmacs does not have enough packages installed, please see FAQ #3 at http://proofgeneral.inf.ed.ac.uk/FAQ

Closing as invalid for now.

comment:3 Changed 16 years ago by David Aspinall

PS: However, there are problems you may currently experience with this XEmacs version. Please see #163

Note: See TracTickets for help on using tickets.