Francois-Rene Rideau
Thu, 30 Oct 1997 19:34:47 +0100 (CET)

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, which is a Debian GNU/Linux based Virtual-HTTP server.
I'd like to register it as; 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.