[isabelle-dev] Isatest report [...]

2012-10-24 Thread Jasmin Christian Blanchette
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

[isabelle-dev] jEdit: tooltips don't have proper size

2012-10-24 Thread Steffen Juilf Smolka
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

[isabelle-dev] priority queues

2012-10-24 Thread Steffen Juilf Smolka
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

Re: [isabelle-dev] priority queues

2012-10-24 Thread Lukas Bulwahn
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