[isabelle-dev] Fwd: Mercurial 5.4 Sprint; Paris, France; March 27th-29th.
makarius at sketis.net
Sat Feb 15 12:19:22 CET 2020
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
-------------- 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
More information about the isabelle-dev