On Wed, 24 Oct 2012, Steffen Juilf Smolka wrote:
It seems there is a little (but annoying) issue with the new tooltips in
Isabelle/jEdit when using a font other than IsabelleText. I'm using the
Source Code Pro font and the tooltips are always just a little too small
so that part of the text
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
On Wed, 24 Oct 2012, Lukas Bulwahn wrote:
I think priority queues are roughly ordered lists (the priority is the
ordering). So, you could have a look at Pure/General/ord_list.ML
The main virtue of Ord_List is that insert and merge are of the same
complexity: linear. This is important in
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
Thanks. I used an ordered list as a temporary solution, but now replaced it
with a table to avoid linear complexity (when adding new elements to the queue).
Steffen
On 24.10.2012, at 17:26, Lukas Bulwahn bulw...@in.tum.de wrote:
I think priority queues are roughly ordered lists (the priority
On Wed, 24 Oct 2012, Jasmin Christian Blanchette wrote:
So the last threee lines of the attachment are shown. Would it be possible to
increase that to four? That way, we'd get the much more instructive
Test for platform mac-poly64-M2 failed. Log file attached.
[...]
Unfinished
First the running gag on isabelle-dev: the new ... or the latest ... is
ill-defined. You have to refer to *the* changeset of the repository version
you are presently testing.
Sorry, I'll keep that in mind.
Concerning Source Code Pro font: I tried it some weeks ago when there was
an
