Re: [isabelle] invoking isatool, from where?



In the Unix shell. In a directory where you want to create a subdirectory MySession as a home for your work.

Tobias

Paqui Lucio schrieb:
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.