Rehoming

[Francois-Rene Rideau]

Dear Tunespeople,
   I'm in the process of installing at my new job/thesis,
and also of moving the Tunes site to a permanent place
(as the ENS won't home me long).
   So friends of mine have let me use their server
sweety.via.ecp.fr, which is a Debian GNU/Linux based Virtual-HTTP server.
I'd like to register it as Tunes.org; then I'll move the list too, etc.
Any suggestions? Volunteer maintainers?

-- #f

PS: as of reflection, the works of Constable et al at Cornell
about the utility of reflection, and its use in an environment
of both programming and proofs, look great.