[isabelle] Getting Isabelle Running with Xemacs
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