ue_01: Error loading /tab_xyz

• Article Type: General
• Product: Aleph
• Product Version: 16.02

Description:
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.

Resolution:
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.