Re: [isabelle] Isabelle2016-RC0 - default output buffers



On Sat, 9 Jan 2016, Tobias Nipkow wrote:

 Can you quote a changeset and mailing list message on that?

See https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2015-November/006420.html

That is a rather old thread. I don't see any connection to the way it works in Isabelle2016-RC0.

Of course you can always re-open a new discussion.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.