Re: [isabelle] Installing and using theories from the archive



On Wed, 8 Nov 2006, Roger Bishop Jones wrote:

> 	add_path "../Theoryname";
> 
> as needed in ROOT.ML files, since that is site independent 
> assuming only that the archive theories are all unpacked in the 
> same directory (is that what "contrib" is for?)

The contrib directory is just the default place to absorb any 
site-specific additions that are not part of the actual Isabelle 
distribution.  You are free to use it in any way you like.


	Makarius





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