(www-ids-find-version): New constant.
authortomo <tomo>
Sat, 15 Oct 2005 07:48:06 +0000 (07:48 +0000)
committertomo <tomo>
Sat, 15 Oct 2005 07:48:06 +0000 (07:48 +0000)
commit8f98c17963abd1f83849e90f454630c0f0f8414e
treeff62d2e2b59c20c7714a1eab38acc1b14b667986
parent7eb914699bb67160e15bed9d1af8d5ea12d58d0d
(www-ids-find-version): New constant.
(www-ids-find-ideographic-products-file-name): New variable.
(www-batch-ids-find): Display version, Last-modified, copyright;
display warning when updating the system; add links for related sites.
www/www-ids-find.el