[isabelle-dev] priority queues
makarius at sketis.net
Sat Oct 27 18:23:51 CEST 2012
On Sat, 27 Oct 2012, Tobias Nipkow wrote:
> Am 27/10/2012 16:55, schrieb Makarius:
>> On Wed, 24 Oct 2012, Steffen Juilf Smolka wrote:
>>> is there an implementation of priority queues in the isabelle library?
>> This is off-topic for this mailing list, which is for things happening around
>> the Isabelle development process. Unless you refer to a particularly emerging
>> module in some inter-release repository version --
>> lets say you are build some add-ons as very early adopter -- everything
>> concerning Isabelle/ML programming can be discussed on the main isabelle-users
>> mailing list.
> Steffen is a sledgehammer code developer with Jasmin and this question is not
> appropriate for isabelle-users.
I've guessed it already. Taking the question as such, it is perfectly
normal Isabelle/ML user space, though. There is no relation to
inter-release snapshots. The relevant modules have been stable for many
years. (Unless you quote a changeset where something new after
Isabelle2012 has to be discussed.)
More information about the isabelle-dev