[isabelle-dev] Welcome

[Alexander Krauss]

Hi all,

Welcome on the new "isabelle-dev" mailing list.

I created this list as a partial replacement for the old
"Isabelle at mailbroy.in.tum.de" list. This new list is not limited to
people living under the friendly Bavarian sky, but rather intended as
the canonical place for all news/questions/discussions relevant to
all developers.

Since it is not always clear, who can be called a "developer", power
users are explicitly invited :-) In fact, anyone can subscribe/
unsubscribe via the usual mailman interface. The list is archived, and
the archive is public.

Happy H*cking,
Alex