- Article Type: General
- Product: Aleph
- Product Version: 16.02
Just noticed that the ABC60 run_e_01gets an error while attempting to load /aleph/aleph/u16_1/cun60/tab/tab_xyz, which doesn't exist.
The tab_xyz is optional and not relevant to an HOL library. You can either ignore the message or, to prevent it, add an empty tab_xyz to the ./xxx60/tab/ directory. (It can be copied from the ./xxx01/tab/ directory.)
The same is true of an ADM or Course Reserve library.
- Article last edited: 10/8/2013