Re: [isabelle] (structure) and \<index>



Hi Lars,

thanks, this corresponds to what I assumed.

But what's the influence of this "argument" it looks like it's intended to hold different instances apart, but how?

Am 30.10.13 11:22, schrieb Lars Noschinski:
What do you mean by "broken"?
Don't display as intended. You get two down arrows with regular size text in between. If you have a lot of those (like in Algebra/Module for example) it makes things really hard to read.

Best
Benedikt




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.