On Mon, 29 Jul 2013, Florian Haftmann wrote:
Maybe Florian also has some ideas about codegen.
One answer would be to eliminate this meanwhile somehow ridiculous
warning entirely.
See now http://isabelle.in.tum.de/repos/isabelle/rev/e78c3023162b
Great.
In the meantime (leading up to the same changeset) I have made 2-3 rounds
of refinements and experiments to ensure that these asynchronous print
functions work smoothly -- there were some situations where cancelation
was not working properly.
If any problems remain, this is the place to report them. We are slowly
moving towards the next official release after the summer, but many loose
ends are still open.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
