Re: [isabelle] [Isabelle 2019-RC0] explore/sketch



On 03/05/2019 20:02, Florian Haftmann wrote:
> 
> The upcoming RC2 shall contain
> http://isabelle.in.tum.de/repos/isabelle/rev/129757af1096 which aims to
> simulate the eigen context for a printed Isar statement properly.

This is actually part of current Isabelle2019-RC1.


	Makarius




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