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?


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.


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