Returning from several weeks of traveling and conferencing, I have noticed
that we have already accumulated 6 months after Isabelle2011. We should
start thinking towards the next release, maybe early Fall (this year's
Summer has not even started in Europe yet, so it is hard to imagine when
or how it will actually end.)
Right now I am in the process to get some idea about the loose ends and
issues that have accumulated in the past few months. I also need to see
what are the essential things for the strategically important
Isabelle/jEdit Prover IDE that are relevant for the release.
Since August is the canonical time for vacation for many people it is
probably better to get into more concrete discussions in 3-4 weeks from
now, but people can already start thinking about their own areas of
responsibility concerning consolidation for the release.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
