I know how to do it, but no beginner could ever find this. Larry > On 16 Jan 2018, at 16:20, Andreas Lochbihler <andreas.lochbih...@inf.ethz.ch> > wrote: > > It's not too hard: Go to Plugins/Plugin Options/Isabelle/General and enter > "brackets" under Print mode.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
