Thu, 30 Oct 1997 19:34:47 +0100 (CET)
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?
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.