User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0
I am trying to build the Isabelle AFP sample submission. I know
that in the past "isabelle make" did the job, but now make does
not seem available anymore, and I could not figure out what
is the replacement.