* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):
	Define Rep, do not use base-domain form.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2934 f499efd5-9937-0410-b36a-d3739c31ded8
	* utils/command.cc (print_usage): Document --verbose.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2935 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/cycles.spad.pamphlet (alternating): Accept non-negative input


git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2936 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename
	from nniBump.  Fix thinko.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2937 f499efd5-9937-0410-b36a-d3739c31ded8
Fix test for inexistent IMAXTRIX

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2938 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/logic.spad.pamphlet: New file.
	* algebra/boolean.spad.pamphlet (Logic): Move there.
	(BooleanLogic): Likewise.
	(PropositionalLogic): Likewise.
	(PropositionalFormula): Likewise.
	(PropositionalFormulaFunctions1): Likewise.
	(PropositionalFormulaFunctions2): Likewise.
	(KleeneTrivalentLogic): Likewise.



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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2940 f499efd5-9937-0410-b36a-d3739c31ded8
Rename ADDPTIONS to addCompilerOption and implement in Boot.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2941 f499efd5-9937-0410-b36a-d3739c31ded8
Rename MAKE-FILENAME to makeFilename and re-implement in Boot.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2942 f499efd5-9937-0410-b36a-d3739c31ded8
Define lexicographical ordering on Bits in Spad

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2943 f499efd5-9937-0410-b36a-d3739c31ded8
Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot.

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