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
--- Begin Message ---
Hi everyone,
This is a reminder that we have a Community sprint coming. It will be
held in Paris, France from Friday March 27th to Sunday 29th 2020.
Everyone is welcome from core developers to aspiring contributors.
Attending a Mercurial sprint is usually a good way to kickstart your
contributions as you'll get a large amount of help available for 3 days.
The sprint will be hosted by:
Mozilla Paris
117/119 quai de Valmy,
Paris 75010,
France
Some travel sponsoring will be available, reach out to us if you need
some. Likewise, reach out to use if you need some paper work for
immigration purpose.
See you in Paris.
--
Pierre-Yves David
_______________________________________________
Mercurial-devel mailing list
mercurial-de...@mercurial-scm.org
https://www.mercurial-scm.org/mailman/listinfo/mercurial-devel
_______________________________________________
Mercurial mailing list
mercur...@mercurial-scm.org
https://www.mercurial-scm.org/mailman/listinfo/mercurial
--- End Message ---
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
