On Sun, Jul 08, 2012 at 12:07:38PM -0400, Luis Ibanez wrote: > We could, equally arbitrarily use version "30.0"... > > or use the number "2012" as a year ? This might actually be an idea given TexLive20xx Karsten -- GPG key ID E4071346 @ gpg-keyserver.de E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346