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
https://wiki.archlinux.org/index.php/Desktop_Entries 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
http://cs.bham.ac.uk/~langec/, 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