Dear all,
4 months after Isabelle2011-1 we are roughly in the middle between two
official releases. This is a good point to recollect things for the
coming release, better than a few weeks before actual rollout (which will
the time for testing the integrated system, not adding new features).
On Sat, 18 Feb 2012, Florian Haftmann wrote:
…seems not really operative. Otherwise accidents like
http://isabelle.in.tum.de/reports/Isabelle/rev/2a0e1bcf713c could not
have escaped attention for so long.
Maybe we could setup a mira test for this, also including the makedist
procedure?
On 29/02/2012, at 2:53 AM, Makarius wrote:
On Sat, 18 Feb 2012, Florian Haftmann wrote:
…seems not really operative. Otherwise accidents like
http://isabelle.in.tum.de/reports/Isabelle/rev/2a0e1bcf713c could not
have escaped attention for so long.
Maybe we could setup a mira test for