* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test
	for BasicType satisfaction instead of existence of =.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2855 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
	Remove redundant declaration for parts.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2856 f499efd5-9937-0410-b36a-d3739c31ded8
Move lispy stuff to lisp-backend.boot

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2857 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/c-util.boot (cleanParameterList!): New.
	* interp/define.boot (spadCompileOrSetq): Use it.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2858 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (checkAndDeclare): Constructor parameter
	shadowing.
	* algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]:
	Lose last parameter.  Adjust callers.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2859 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/g-opt.boot (quoteMode): New.
	(optRetract): Use it.
	(optPullback): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2860 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/nruncomp.boot (NRTputInHead): Tidy.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2861 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (dbClearForCompilation!): New.
	(compDefineFunctor1): Use it.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2862 f499efd5-9937-0410-b36a-d3739c31ded8
Add DB documentation accessor

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2863 f499efd5-9937-0410-b36a-d3739c31ded8
Revert accidental commit rev 2862 from experimental tree

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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2865 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/compiler.boot (comp2): Don't test for $bootStrapMode.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2866 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/compiler.boot (comp2): Leave categories alone.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2867 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/compiler.boot (unknownTypeError): Simplify.
	* interp/define.boot (dbClearForCompilation!): Clear more fields.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2868 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (FiniteAggregate): New.
	* algebra/exposed.lsp.pamphlet: Expose it.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2869 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/data.spad.pamphlet (Byte): Remove redundant
	finiteAggregate attribute.
	* algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise.
	(BinarySearchTree): Likewise.
	(BalancedBinaryTree): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2870 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily
	include attribute finiteAggregate.
	(StackAggregate): Extend category FiniteAggregate instead of
	attribute finiteAggregate.
	(QueueAggregate): Likewise.
	(PriorityQueueAggregate): Likewise.
	(FiniteSetAggregate): Likewise.
	* algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise.
	* algebra/matcat.spad.pamphlet (MatrixCategory): Likewise.
	* algebra/mset.spad.pamphlet (Multiset): Likewise.
	* algebra/newdata.spad.pamphlet (SplittingTree): Likewise.
	* algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise.
	* algebra/tree.spad.pamphlet (Tree): Likewise.
	(BinaryTreeCategory): Likewise.
	* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
	* algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2871 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove
	redundant FiniteAggregate.
	* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.



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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2873 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/sortpak.spad.pamphlet (SortPackage): Have second
	parameter satisfy FiniteAggregate A instead of requiring attribute
	finiteAggregate.
	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
	extends FiniteAggregate.  Remove finiteAggregate attribute.



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