[isabelle] Put yourself on the map

Dear Isabelle users,

We are thinking of preparing an online map of the world which shows where
Isabelle is currently in use. If you would like to be on that map, send me an
email with the following information:

- Country, city, institution/lab/company/...
- Optionally: names and/or urls of users and/or projects.

There is no deadline and it may take a little while before the first map
becomes available.

Many thanks for your help!

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.