[isabelle] Library load path



I have failed to discover any way of adding directories to the 
isabelle library load path.

Can anyone help me with this?

Roger Jones





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.