*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] syntax highlighting on stackoverflow*From*: Gottfried Barrow <gottfried.barrow at gmx.com>*Date*: Wed, 13 Mar 2013 09:20:43 -0500*In-reply-to*: <513FF2E0.1090700@gmail.com>*References*: <513FF2E0.1090700@gmail.com>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 3/12/2013 10:30 PM, Christian Sternagel wrote:

1) Encourage people to have a look at stackoverflow (others alreadyindicated how one can subscribe, e.g., to a news feed for the isabelleposts).

Are there additional tags to see the comments and answers for this tag? http://stackoverflow.com/questions/tagged/isabelle

http://stackoverflow.com/users/476803/chris

More imperfection.

http://meta.stackoverflow.com/questions/4152/adding-support-for-math-notation http://meta.stackoverflow.com/questions/30559/latex-in-stack-overflow http://meta.stackoverflow.com/questions/4152/adding-support-for-math-notation#comment253822_60023 http://blog.stackoverflow.com/2011/04/stack-exchange-partners-with-mathjax/ 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?

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 0 questions:

0 questions: 105 questions: http://math.stackexchange.com/questions/tagged/proof-theory

Regards, GB

**Follow-Ups**:**Re: [isabelle] syntax highlighting on stackoverflow***From:*Makarius

**Re: [isabelle] syntax highlighting on stackoverflow***From:*Joachim Breitner

**References**:**[isabelle] syntax highlighting on stackoverflow***From:*Christian Sternagel

- Previous by Date: Re: [isabelle] word wrapping in jEdit output panel
- Next by Date: Re: [isabelle] syntax highlighting on stackoverflow
- Previous by Thread: [isabelle] syntax highlighting on stackoverflow
- Next by Thread: Re: [isabelle] syntax highlighting on stackoverflow
- Cl-isabelle-users March 2013 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list