Re: [isabelle] Isabelle2014-RC1 available for testing
How to transfer my configuration settings, shortcuts, abbreviations,
etc. from the repository version to 2014-RC1 and later to 2014?
On So, 2014-07-27 at 21:10 +0200, Makarius wrote:
> Dear Isabelle users,
> in anticipation of the Isabelle2014 release in August, the first official
> release candidate Isabelle2014-RC1 is now available for testing:
> Some enthusiasm for testing is important to keep up with the high levels
> of system sophistication and user expectation that we have seen in recent
> years. Observations and problems of release candidates may be discussed
> here on isabelle-users, or via private mail with the person who is
> responsible (when that is obvious).
> We have about 3 weeks time for that, with 2-3 release candidates as usual.
> The time to report problems is before the final release, not after it!
This archive was generated by a fusion of
Pipermail (Mailman edition) and