Re: [isabelle] Isabelle2013-1-RC2 available for testing

2013-10-09 13:55 Makarius:
>   * Explicit binary executable even for Linux -- modern desktops no longer
>     consider an executable script as executable to be clicked on.

Wouldn't it be easier to provide a *.desktop file instead?  (See for documentation.)
 I think these are widely understood across Linux desktop environments.

Just a suggestion; I start Isabelle from the command line anyway.



Christoph Lange, School of Computer Science, University of Birmingham, Skype duke4701

→ Mathematics in Computer Science Special Issue on “Enabling Domain
  Experts to use Formalised Reasoning”; submission until 31 October.

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