[isabelle] Isabelle2014-RC3 available for testing
Dear Isabelle users,
after 2 weeks of testing release candidates for the forthcoming
Isabelle2014 version, we are now at Isabelle2014-RC3:
Compared to Isabelle2014-RC2, the following fine points that have been
* less redundant warnings from prover
* Isabelle/jEdit: improved Monitor dockable and GUI fine tuning
* support for DPI scaling on Windows 8 / 8.1
Observations and problems of release candidates may be discussed here on
isabelle-users (using an informative subject for the mail thread), or via
private mail to the person who is responsible (when that is obvious).
People who have reported anything before should check again if the
situation has indeed improved.
The release candidate starts-up with a warning against production use of
this non-final version, but we are de-facto approaching the state of the
final release, which will be launched officially in 2 weeks.
This provides a window of opportunity to update existing applications now
and to sort out potentially remaining problems, and thus improve the
overall quality of the ultimate version.
This archive was generated by a fusion of
Pipermail (Mailman edition) and