[isabelle-dev] Fwd: Mercurial 5.4 Sprint; Paris, France; March 27th-29th.

[Makarius]

The forwarded attachment is just for information about what is going on the
Mercurial mailing list.

I have started to look around systematically about the "health and vitality"
of projects that contribute to Isabelle, and also learn from them.

We used to have 2-3 similar "Isabelle development workshops" many years ago.
If anybody has ideas how to repeat that (including funding), I am keen discuss
it. E.g. via private mail, or directly in Paris at IJCAR 2020 and the Isabelle
Workshop 2020.


	Makarius
-------------- next part --------------
An embedded message was scrubbed...
From: Pierre-Yves David <pierre-yves.david at ens-lyon.org>
Subject: Mercurial 5.4 Sprint; Paris, France; March 27th-29th.
Date: Sat, 15 Feb 2020 02:17:36 +0100
Size: 5410
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200215/f14f8608/attachment.eml>