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.