Re: [isabelle] syntax highlighting on stackoverflow
Gottfried Barrow wrote:
> The police are the majority of people who assert themselves. The police who
> act as tyrants are the admins and the in-crowd who vote to close questions
> which they're not qualified to vote on, and do so to protect their domain.
> When I see that happen, I become more interested in fighting the
> I'm in no hurry to get an account to fight the man. Fighting the man is
> generally a losing proposition.
An example of this:
Sorry if this is getting off-topic but I wanted to share this
experience with Isabelle users who are interested in Stack Exchange.
This archive was generated by a fusion of
Pipermail (Mailman edition) and