![]() Note that the tar/gzip of Cygwin needs to be used here, not an archiving tools for Windows! It can be unpacked into an arbitrary directory as follows. The bundled archive contains everything required for Isabelle on Cygwin.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |