makarius at sketis.net
Thu May 15 21:10:50 CEST 2014
On Thu, 15 May 2014, Andrei Popescu wrote:
> the problem -- yes, to my shame, I am not using the development version.
You don't have to be ashamed. There is nothing cool abount using "the"
development version, it is just a necessity for some people who have to do
it as part of the continous development process. Users of the professional
releases are executive class, people on the repository the working class.
Concerning AFP devel updates: I think there are still rather old email
texts sent out to the official maintainers of some AFP entry, pointing to
the ancient source development snapshot http://isabelle.in.tum.de/devel
which cannot be run anyway.
I have recently starting thinking about making full Admin/Release/build
snapshots routinely via isatest, for all platforms. But it is one more
thing, and sometimes we have just too much breakage of the existing
More information about the isabelle-dev