[isabelle] syntax highlighting on stackoverflow



Please have a little patience; a new, really fast version of Elbe is on the way, including unicode Isabelle assistance and a lot more.
Jens


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