[edutex] Edutex website

[Boris Veytsman]

HJS> From: "Hefferon, James S." <jhefferon at smcvt.edu>
HJS> Date: Sun, 2 Oct 2016 20:43:10 +0000

HJS> Boris, thank you for those.

HJS> I know it isn't your point but I'm interested in the lion.  I wonder where it came from?  Does TUG own it?

Years ago Frank Quinn from Virginia Tech started EduTeX project at
TUG, but it, unfortunately, stuck for quite some time.  Frank
commissioned this drawing from Duane; I assume TUG owns the copyright,
but we can ask Duane directly.

-- 
Good luck

-Boris

   * In anticipation of 2.10.02 release, updated to patchlevel
     +ircu2.10.01+.config6-7.config7-8.lgline3.iwho.limit.glibc.motdcache2.trace.whois1-2.config8-9.statsw.sprintf2-3.msgtree2.memleak1-2+.msgtree2-3.gline8-9.gline9-10.invite2.rbr.stats.numclients.whisper.whisper1-2.stats1-2.nokick1-2.chroot.config9-11.snomask7-8.limi+t1-3.userip1-3.userip3-4.config11-12.config12-13.umode2-3.akillsbt.who4-5.kn.kn1-2.freebsdcore2.msgtree3-5.y2k.glibc1-2.rmfunc.msgf+lags2.who5-6.nickchange2.glibc2-3.modeless3
		-- From the annoucement of ircd 2.10.01-3 for Debian GNU/Linux