Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Aug 19 2022 at 12:06):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear all,

some (mostly unimportant) comments and questions on the extended
documentation of the function package (nice to have the new elim/cases
rules!):

instead of using the old-school "erule"?

cheers

chris

view this post on Zulip Email Gateway (Aug 19 2022 at 12:22):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

another release candidate is available here:
http://isabelle.in.tum.de/website-Isabelle2013-1-RC2

Notable changes wrt. Isabelle2013-1-RC1:

* Explicit binary executable even for Linux -- modern desktops no longer
consider an executable script as executable to be clicked on.

* Mac OS X Snow Leopard is de-facto discontinued. Normally we support
the 3 latest Mac OS X versions, and Mavericks is not available yet,
but current versions of Java 7 and jEdit appear to have fundamental
problems with this old operating system that Oracle never intended to
support in the first place.

* Various re-adjustments in the dynamics of Sledgehammer, both the
implicit "auto" mode and the explicit GUI panel.

See also https://bitbucket.org/isabelle_project/isabelle-release for the
main website where the final stage before Isabelle2013-1 is organized.
There is also a link to an issue tracker on the same Bitbucket site.

Observations from testing release candidates may be discussed here on
isabelle-users (not isabelle-dev), on the bitbucket tracker, or via
private mail.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 12:22):

From: Christoph LANGE <math.semantic.web@gmail.com>
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.

Cheers,

Christoph

view this post on Zulip Email Gateway (Aug 19 2022 at 12:23):

From: Makarius <makarius@sketis.net>
I was trying that recently, but the freedesktop.org standardization
committee does not support the idea of relative paths in .desktop
specifications. See also
http://lists.freedesktop.org/archives/xdg/2011-June/011992.html

Thus an application has to be globally installed on the system. It is
just the old problem of many Linux communities of treating system software
and application software as one and the same, with many problems coming
from it.

Are you actually using Arch Linux yourself, or is the above URL just an
accident? I am just trying to tick major Linux fractions as "tested",
although for Arch everybody needs to start from scratch anyway in the
selection of packages so it is hard to test anything once and for all.

Makarius


Last updated: Mar 29 2024 at 08:18 UTC