Re: [isabelle] Getting Isabelle Running with Xemacs
Dear Clint LeFort,
I too am a Mac user, and I had trouble getting Proof General working
under XEmacs. However, I was able to get it working properly under the
X11 version of Gnu Emacs 21.2.1. If you do get Isabelle working with
XEmacs, I would be interested in the details. If you would like to try
the Gnu Emacs version, I would be willing to give you a hand.
---Elsa L. Gunter (Elsa)
clinton lefort wrote:
I am a newbie to Isabelle. I am trying to run my first program,
perhaps just an example file under Xemacs or Emacs.app I have a
macintosh and have downloaded all the files I need to get running, but
I have not been able to configure my files correctly. Could someone
help me with this? Below is a configuration of my files.
1. Emacs is in Isabelle_26-Sep-2006 Folder
2.Isabelle.app and XEmacs is in Isabelle_26-Sep-2006 Folder
Thank you for any suggestions how I can better configure my system and
get Isabelle to run. About a month ago I had it running, but
misplaced the configuration I had.
This archive was generated by a fusion of
Pipermail (Mailman edition) and