Email Gateway (Aug 19 2022 at 10:38): Email Gateway (Aug 19 2022 at 10:38):From: "Jens-D. Doll" <jd@cococo.de>
Good Morning Isabelle,
now there is a new, updated and improved version of the formal languages tool
Elbe for Windows, which contains some features to
assist Isabelle development. [It works fine on XP and a fast machine, less
good on Win 7 and a slow machine.]
The last weeks were filled up with detecting bugs, analysing and removing them
and I can say, that software reveals the Reverse Heisenberg
Principle, which means
that the closer you look at it, the more details (and maybe bugs) can be
discovered. One problem lies in the components used from the underlying
operating system, of which the most important ones are the Richedit visual
component (Word editor) and the Cmd processor. [These sometimes only work if a
time delay is built in.].
The new features are
Have a happy Easter
Jens
P.S.:Licensing
\------------------
The tool is restricted to small file sizes after an evaluation period. If you
would like to use it afterwards you can simple request a **free academic
license**
if you have got an email address which shows you membership of a university in
it's name (e.g. name@uni* or name@*.edu ...). It is done
in the menu of the tool. Commercial licenses are not yet available.
Last updated: Apr 20 2024 at 12:26 UTC