[isabelle] Where to post Elbe 1.1 bugs/feature requests?



Hello all,

if you work on a Windows machine, you might want to try the Elbe 1.1 editor, 
  http://cococo.de/Elbe
which works for Isabelle files and is more stable than the version before. Bugs and improvement requests can be sent via a ssl form
  https://cococo.de/Context_IT_GmbH/index.jsp?content=contact
and will be processed with small delay.
Greetings,
Jens







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