Agree Larry > On 4 Mar 2016, at 11:34, Makarius <makar...@sketis.net> wrote: > > I can't imagine anybody using that print mode seriously, so maybe it is time > to make these syntax variants input-only, as a preparation for removal at a > later point.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
