bin
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This is the "bin" directory for HOL. A collection of executable files (hol, Holmake, etc.) will be placed here when you build HOL.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This is the "bin" directory for HOL. A collection of executable files (hol, Holmake, etc.) will be placed here when you build HOL.