Re: How to change <title> in Amaya 10

Le jeudi 03 avril 2008 à 10:03 +0900, Martin Duerst a écrit :
> I was looking for a way to change the title in Amaya 10 yesterday,
> but didn't find it. Any hints?

The command is now in the Tools menu
> 
> Regards,   Martin.
> 
> 
> #-#-#  Martin J. Du"rst, Assoc. Professor, Aoyama Gakuin University
> #-#-#  http://www.sw.it.aoyama.ac.jp       mailto:duerst@it.aoyama.ac.jp     
> 
> 
> 
-- 
Irene Vatton <Irene.Vatton@inrialpes.fr>
INRIA