specware-shell   Runs Specware in a shell (e.g., a terminal or pre-existing emacs Shell)
specware-emacs   Starts a new Emacs with Specware running in it.
Specware.app     OS X (Apple Mac) application (command-option-drag to make an alias/shortcut)
specware-emacs-isabelle   Starts a new Emacs with Specware and Isabelle running in it.


specware-shell   Runs Specware in a shell (e.g., a terminal or pre-existing emacs Shell)
specware-emacs   Starts a new Emacs with Specware running in it.
Specware.app     OS X (Apple Mac) application (command-option-drag to make an alias/shortcut)
specware-emacs-isabelle Starts a new Emacs with Specware and Isabelle running in it (DEPRECATED:
                        Instead, run "isabelle jedit".)


Add note that Isabelle in emacs is deprecated.
Add note that Isabelle in emacs is deprecated.

git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@9674 7b97033b-253e-4a5c-9b07-e25f9089a9fd
