Email Gateway (Aug 18 2022 at 17:05): Email Gateway (Aug 18 2022 at 17:05):From: li yongjian <lyj238@gmail.com>
Dear Isabelle users:
Recently, I install Isabelle in MACBOOK.
It is ok.
But I cannot find the Isabelle directly, I need run some proof script in
the source directory. who can help me?
best
lyj
Email Gateway (Aug 18 2022 at 17:05):From: Lawrence Paulson <lp15@cam.ac.uk>
The Isabelle distribution is hidden inside the Isabelle2011.app folder.
To browse the files in the Finder, right-click on Isabelle2011.app and choose "show package contents".
Larry Paulson
Last updated: Apr 17 2024 at 20:15 UTC