On Tue, 24 Sep 2013, Jasmin Blanchette wrote:
54c8dee1295a should address that.
BTW, Pretty.item allows to make nice square bullets for itemization
(visible in Isabelle/jEdit only).
Do you have a specific use in mind w.r.t. BNF or is this just a general
hint (e.g. for Sledgehammer and Nitpick)?
Nothing specific. I've just seen attempts passing by to make some
indentation and a "bullet" (actually cdot), to be seen also in the above
changeset.
Pretty.item has become available several weeks ago, and it comes in handy
to make Pretty.T list layouts more readable.
I had spent several days to make a black caret that works on all platforms
and all imaginable fonts, so I just want to share that achievement with
people who need to compose structured text messages. (Or maybe get more
hints when it still does not work as anticipated.)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
