I’d find an example helpful, as your brief description is pretty cryptic.
Larry

> On 5 Jun 2018, at 22:01, Makarius <makar...@sketis.net> wrote:
> 
> These options are very relevant for the coming release. I am interested
> to get feedback from early adopters, if this is already sufficient or
> requires further refinement.

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to