On Di, 2018-01-16 at 16:31 +0000, Lawrence Paulson wrote: > I know how to do it, but no beginner could ever find this. > Larry This is usually one of the first things I show students learning Isabelle ... I'm using brackets syntax in demos, but let them decide which syntax they like better. Peter >
> > 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>
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
