Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] invoking isatool, from where?

view this post on Zulip Email Gateway (Aug 18 2022 at 11:49):

From: Paqui Lucio <paqui.lucio@ehu.es>
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@ehu.es
Tfn: (+34) (9)43 015049
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui

view this post on Zulip Email Gateway (Aug 18 2022 at 11:50):

From: Tobias Nipkow <nipkow@in.tum.de>
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:

Last updated: May 03 2024 at 04:19 UTC