Hi Florian,
newtype in Haskell is not always for free, see for example Joachim's blog post:
http://www.joachim-breitner.de/blog/archives/610-Adding-safe-coercions-to-Haskell.html
Andreas
On 19/09/13 12:58, Florian Haftmann wrote:
Hi Peter,
When using Code_Target_Numeral instead of the old
[...]
font management, etc. ;( Obviously, the choice of UI frameworks does
matter in everyday work on UIs.
All UI frameworks I've seen so far are crap. A UI framework alone does not
give
you a real editor, you would have to implement that yourself.
It is, of course, just not true that
Here a bisect would be helpful when this came to happen
actually (or is it already present in Isabelle2013).
This one already goes wrong in Isabelle2013.
Cheers,
Florian
___
isabelle-dev mailing list
isabelle-...@in.tum.de
Hi Jasmin,
I moved this thread from users to devel, because we are now referring to
changesets ;-).
I would appreciate if all these code_aborts that you mention were consolidated
to use Code.abort.
I second this. Cf. http://goo.gl/4kR3vu :)
See now 788730ab7da4, which replaces all
Hello,The attached file contains a fairly heterogeneous collection of potential extensions to the Isabelle library, which I've been developing as part of some projects that I'm working on. I think that other Isabelle users may find them useful.Please let me know if you'd rather receive these in
