If you are using the bash shell, then you must execute the script 
	compile.bash
Also, if you want to modify your $(HOME)/.bashrc file, then you
must execute the script
	variables.bash
On the other hand, if you are using the csh shelll, then you must 
execute the script
	compile.csh 
for the building of the system and the script
	variables.csh
for the modification of the $(HOME)/.cshrc

Of course, you are free to make your own scripts and programs
for the library.

						Ioannis G. Tsoulos
						sheridan@cs.uoi.gr
