Hi all,
This is probably a question to Makarius. Today the Isatest reports look like
this:
Test for platform mac-poly64-M2 failed. Log file attached.
[...]
Finished at Wed Oct 24 02:40:50 CEST 2012
2:12:57 elapsed time, 3:44:19 cpu time, factor 1.68
--- test
Hi,
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 is hidden/cut off.
Of course an easy fix would be
Hi,
is there an implementation of priority queues in the isabelle library?
Steffen
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
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
Lukas
On 10/24/2012 05:21 PM, Steffen Juilf Smolka wrote:
Hi,
is there an implementation of priority queues in the isabelle library?
Steffen