Add dependencies for bootstrap

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2982 f499efd5-9937-0410-b36a-d3739c31ded8
tidy addInformation

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2983 f499efd5-9937-0410-b36a-d3739c31ded8
	Make parser non-dependent on constructor databases.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2984 f499efd5-9937-0410-b36a-d3739c31ded8
Tell compForMode not to be fussy when bootstrapping the algebra.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2985 f499efd5-9937-0410-b36a-d3739c31ded8
More algebra module dependencies

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2986 f499efd5-9937-0410-b36a-d3739c31ded8
Do not call allConstructors from compiler.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2987 f499efd5-9937-0410-b36a-d3739c31ded8
Fix comment

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2988 f499efd5-9937-0410-b36a-d3739c31ded8
Add some algebra dependencies

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2989 f499efd5-9937-0410-b36a-d3739c31ded8
More algebra dependencies

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2990 f499efd5-9937-0410-b36a-d3739c31ded8
More algebra dependencies.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2991 f499efd5-9937-0410-b36a-d3739c31ded8
avoid uses of special variables for environments.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2992 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (getvalue): Rename from GetValue.
	Take environment as second parameter.  Adjust callers.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2993 f499efd5-9937-0410-b36a-d3739c31ded8
Remove effectively deadcode from comp3.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2994 f499efd5-9937-0410-b36a-d3739c31ded8
Remove effectively deadcode from comp3.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2995 f499efd5-9937-0410-b36a-d3739c31ded8
compColon is now smarter about category definitions.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2996 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/nruncomp.boot (NRTsetVector4Part1): Add environment parameter.
	Adjust caller.
	(NRTsetVector4a): Likewise.  Avoid special variable for environment.
	* boot/utility.boot: Add and export substSource, substTarget.
	* interp/define.boot: Use them.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2997 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/lisplib.boot (writeSourceFile): Always write source file.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2998 f499efd5-9937-0410-b36a-d3739c31ded8
Remove NRT prefix from most functions.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2999 f499efd5-9937-0410-b36a-d3739c31ded8
Add DB parameter to extendsCategoryForm.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3000 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (makeCategoryPredicates): Tidy.  Adjust caller.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3001 f499efd5-9937-0410-b36a-d3739c31ded8