[isabelle] invoking isatool, from where?



Hi,
Please, could someone explain me where should I write a commad line like 
	isatool mkdir HOL MySession	?
Thanks,
Paqui

--------------------------------- 
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
e-mail: paqui.lucio at ehu.es
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui
---------------------------------





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.