[isabelle] Launch of Elbe 1.63



Hello all,

now there is a new release of the Elbe IDE (http://cococo.de/Elbe/) with more comfort in editing. Also Bugs have been removed and speed has been increased. The current border is now to be found in the Windows kernel Dlls, where several bugs have been identified. I'll try to bypass them in the next release.

Happy Reasoning,
Jens








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