Re: Version identifier in URL.

Andre van der Hoek (andre@bigtime.cs.colorado.edu)
Tue, 28 May 1996 17:59:07 -0600 

I take it of course that {version_identifier} can be anything, i.e., a name, a
version number, etc?

I like the version + ; choice.

=== Andre ===