10/29/2022 0 Comments Aquamacs app![]()
After downloading and running setup.exe, the following Cygwin packages need to be installed: AQUAMACS APP WINDOWSIsabelle also works on Windows thanks to the excellent Posix API emulation of Cygwin. /usr/local/Isabelle/bin/isabelle emacs -p xemacs.A version of GNU Emacs or XEmacs that works with X11, such as XEmacs 21.4.x from MacPorts, which may be installed from the terminal as follows:Īfter compiling the all required parts of MacPorts, and unpacking the Isabelle tar.gz packages as for option 2 above, Isabelle Proof General can be invoked like this:. AQUAMACS APP FOR MAC
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |