Re: [isabelle] syntax highlighting on stackoverflow
On 3/12/2013 10:30 PM, Christian Sternagel wrote:
1) Encourage people to have a look at stackoverflow (others already
indicated how one can subscribe, e.g., to a news feed for the isabelle
Is there a certain encoding to be used, or are posters entering
information with a non-standard encoding? I've tried "Western
(ISO-8859-1)" and "Unicode (UTF-8)" in Chrome, but it doesn't make a
difference. I see boxes with a question mark in this question, and in
lots of other questions:
Are there additional tags to see the comments and answers for this tag?
I can subscribe to a feed for a particular question, which is not what I
want to do.
What I'm doing is subscribing to the feed for many of the people who are
showing up, with a tag like this:
Doing that is pretty ridiculous because it requires that I see
everything they do on the site. But polling and scanning questions to
try and find new information would be more ridiculous. Nothing much is
Rather than implement LaTeX on stackoverflow as it's done on other
sites, certain people tell you how to properly think about the matter.
If I had an account, I might have answered this question that I saw:
PS. Is it possible to get the nice symbols from Isabelle here too?
I was ready to answer, "Of course, just use LaTeX". But then I did some
searches. I didn't find anything more current that what I linked to above.
Subject wise, Isabelle is closer to what's on math.stackexchange.com,
which has LaTeX.
714 questions: http://stackoverflow.com/questions/tagged/graph-theory
1920 questions: http://math.stackexchange.com/questions/tagged/graph-theory
25 questions: http://stackoverflow.com/questions/tagged/type-theory
15 questions: http://math.stackexchange.com/questions/tagged/type-theory
504 questions: http://stackoverflow.com/questions/tagged/combinatorics
4263 questions: http://math.stackexchange.com/questions/tagged/combinatorics
1984 questions: http://stackoverflow.com/questions/tagged/logic
1877 questions: http://math.stackexchange.com/questions/tagged/logic
105 questions: http://math.stackexchange.com/questions/tagged/proof-theory
People can disregard all this. Perception is the limiting factor,
culture determines perception, and the police on the different sites
enforce the culture.
This archive was generated by a fusion of
Pipermail (Mailman edition) and