Re: [isabelle] Problem with istallation of Isabelle



In the istruction manual it is specified
that the folder 'bin' contains isabelle emacs. but there is no such
file. HOW TO INSTALL ISABELLE?.

The executable file is called "isabelle". "emacs" is an argument to it. You normally run it from the command line, i.e., after opening a terminal window in Ubuntu.

Alex





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.