[isabelle] Where to post Elbe 1.1 bugs/feature requests?
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Where to post Elbe 1.1 bugs/feature requests?
- From: Jens Doll <jd at cococo.de>
- Date: Thu, 05 May 2011 11:21:29 +0200
- User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:18.104.22.168) Gecko/20110303 Lightning/1.0b2 Thunderbird/3.1.9
if you work on a Windows machine, you might want to try the Elbe 1.1 editor,
which works for Isabelle files and is more stable than the version before. Bugs and improvement requests can be sent via a ssl form
and will be processed with small delay.
This archive was generated by a fusion of
Pipermail (Mailman edition) and