From: Jens Doll <jd@cococo.de>
There is now an enhanced version of the source editor and navigator Elbe
available. It works for Isabelle files and now contains
with several bugs removed. Please have a look at
Regards,
Jens
Last updated: May 01 2024 at 01:11 UTC