path: root/src/ChangeLog

2009-05-05  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/op.spad.pamphlet (property$BasicOperator): Overload with
	a version that takes an identifier.
	(deleteProperty$BasicOpetrator): Likewise.
	(setProperty$BasicOperator): Likewise.

2009-05-05  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2785271
	* interp/sys-constants.boot ($Primitives): Remove.
	* interp/br-con.boot (conOpPage1): Replace $Primitives by
	$DomainNames. 
	(dbShowConsDoc1): Likewise.
	* interp/buildom.boot ($nonLisplibDomains): Likewise.
	* interp/br-op2.boot (kFormatSlotDomain): isConstructorName.
	* interp/br-saturn.boot (bfConform1): Handle string literals as
	constructor arguments.

2009-04-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/define.boot (canCacheLocalDomain): Remove dead code.

2009-04-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (compComma): Supply element type for tuple
	construction. 
	* interp/i-coerfn.boot (L2Tuple): Likewise.
	* interp/i-object.boot (asTupleNew): Likewise.
	(asTupleNew0): Likewise.
	(asTupleNewCode): Likewise.
	(asTupleNewCode0): Likewise.
	* interp/i-spec1.boot (evalCOLLECT): Likewise.
	(interpCOLLECT): Likewise.
	* interp/i-spec2.boot (evalTuple): Likewise.
	(upNullTuple): Likewise.

2009-04-26  Gabriel Dos Reis  <gdr@cs.tamu.edu>>

	Fix SF/2781848
	* interp/daase.lisp (make-databases): Build glossary files too.
	* interp/br-data.boot (buildGloss): gloss.text now lives in doc/.
	* interp/br-search.boot (grepSource): Likewise.
	* interp/ht-root.boot (htGlossPage): Likewise.
	* etc/Makefile.in (openaxiom_glossfiles): New.
	(mostlyclean-local): Remove them too.
	(stamp-databases): Now copy glossary files too.
	* doc/Makefile.in ($(OUT)/gloss.text): New rule.
	(stamp): Make it a prerequisite.
	* Makefile.pamphlet (all-databases): Make all-doc a prerequisite.
	(all-hyper-post): Likewise.
	* doc/gloss.text: Resurect.

2009-04-26  Gabriel Dos Reis  <gdr@cs.tamu.edu>>

	* interp/sys-macros.lisp (makeSimpleArrayFromList): New.
	* algebra/array1.spad.pamphlet (construct$PrimitiveArray): Implement.
	(copy$PrimitiveArray): Likewise.
	(IndexedOneDimensionalArray): Rework.  Explicitly use
	PrimitiveArray(S) as representation domain.

2009-04-26  Gabriel Dos Reis  <gdr@cs.tamu.edu>>

	* algebra/domain.spad.pamphlet (Constructor): Use Identifier.

2009-04-26  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/newpoint.spad.pamphlet (point$Point): Call vector$Vector.
	* algebra/array1.spad.pamphlet (fill!$PrimitiveArray): Use builtin
	operation. 

2009-04-25  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/strap/PRIMARR.lsp: Remove.

2009-04-24  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/syntax.spad.pamphlet (new$Identifier): New.

2009-04-24  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/strap/ULSCAT.lsp: Remove.

2009-04-24  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/strap/UPOLYC.lsp: Remove.
	* algebra/strap/UPOLYC-.lsp: Likewise.

2009-04-23  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/strap/PSETCAT-.lsp: Remove.
	* algebra/strap/PSETCAT.lsp: Likewise.

2009-04-23  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/strap/TSETCAT.lsp: Remove.
	* algebra/strap/TSETCAT-.lsp: Likewise.

2009-04-23  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/c-util.boot (extendsCategoryForm): Use current category
	body instead of previous previous version of it.
	* algebra/Makefile.pamphlet: Remove ES from bootstrap layer.
	Build it (and dependencies) at layer 1.
	* algebra/strap/ES.lsp: Remove.
	* algebra/strap/ES-.lsp: Likewise.
	* algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.

2009-04-23  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot ($IOFormDomains): New.
	(compAtom): Allow implicit coercion to IO forms for values of
	fundamental types.
	(compSymbol): Likewise.
	(compQuote): Likewise.
	* algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate):
	Don't hard code empty bracket.

2009-04-22  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/sys-constants.boot ($SystemInlinableConstructorNames):
	Include Identifier.
	* interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan.
	* algebra/boolean.spad.pamphlet (Reference): Use Identifier.
	* algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF.
	(axiom_algebra_bootstrap_last_layer): Likewise.
	* algebra/strap/REF.lsp: Remove.

2009-04-21  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/Makefile.pamphlet: Move aggregates to layer 0.

2009-04-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/Makefile.pamphlet: Move Fortran domains to user layer.

2009-04-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/sys-constants.boot ($Identifier): New.
	* interp/compiler.boot (compQuote): Use the target mode if appropriate.
	* interp/i-spec2.boot (upQUOTE): Likewise.
	* algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.

2009-04-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/br-con.boot: Use textEditor() to get editor program.
	* interp/br-saturn.boot: Likewise.
	* interp/compat.boot: Likewise.
	* interp/i-util.boot (textEditor): Define here.
	* interp/g-util.boot: Likewise.

2009-04-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/msgdb.boot (substituteSegmentedMsg): Handle %x specifier.

2009-04-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* boot/ast.boot (genECLnativeTranslation): Tidy.
	(genSBCLnativeTranslation): Likewise.  
	* interp/compiler.boot (emitLocalCallInsn): Likewise.
	(compForm1): Allow package call to external function.
	(compElt): Likewise.
	(getExternalSymbolMode): New.
	(compForeignPackageCall): Likewise.

2009-04-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/any.spad.pamphlet (Binding): Define Rep.  Tidy.
	(Contour): Likewise.
	(findBinding$Contour): Now return Maybe Binding.
	(findBinding$Scope): Likewise.
	(getProperties$Environment): Just return List Binding.
	(interactiveEnv$Environment): New.

2009-04-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/mkfunc.spad.pamphlet (tuplify$InputForm): Tidy.
	* interp/i-output.boot (parms2String): New.
	(inputForm2String): Handle anonymous functions.

2009-04-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/mkfunc.spad.pamphlet (InputForm): Remove assignment to Rep.
	(convert): Use per and rep operators.
	* algebra/stap: Updated cached Lisp translation.

2009-04-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2757715
	* Makefile.pamphlet (all-input): Make all-doc a requirement.
	(all-doc): Tidy.
	* doc/Makefile.in: Likewise.  Install help files.
	* doc/help: New.  Home for help files.

2009-04-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2763053
	* interp/sys-os.boot ($NaNvalue): Remove.
	(quietDoubleNaN): Import.
	* include/cfuns.h (quiet_double_NaN): Rename from NANQ.
	* lib/cfuns-c.c (quiet_double_NaN): Likewise.
	* algebra/draw.spad.pamphlet: Replace $NaNvalue with quietDoubleNaN.
	* algebra/plot.spad.pamphlet: Likewise.
	* algebra/plot3d.spad.pamphlet: Likewise.

2009-04-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2760823
	* interp/sys-driver.boot (systemMain): Explicitly call toplevel
	REPL for SBCL- and ECL-based builds.
	* interp/i-toplev.boot (start): Don't special case SBCL here.
	* interp/int-top.boot (spad): Likewise.
	(intloop): Tidy call to SpadInterpretStream.
	(SpadInterpretStream): Don't store to $fn.
	* interp/msg.boot (toFile?): Don't check for $fn.

2009-04-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2760553
	* lisp/core.lisp.in (associateRequestWithFileType): Remember
	FILE-TYPE as default value for REQUEST.
	(|processCommandLine|): Standard options have length at least 2.
	(|handleCommandLine|): Use default file type if non is present.

2009-04-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2760823 
	* interp/int-top.boot (spad): Return 0 for when SBCL is base Lisp
	runtime. 
	* interp/i-toplev.boot (start): Likewise.

2009-04-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2760560
	* driver/utils.h (openaxiom_driver): Add openaxiom_null_driver.
	Document all of them.
	* driver/utils.c (print_line): New.
	(print_version): Print version information.
	(print_usage): Print option documentation.
	(openaxiom_preprocess_arguments): Handle --help and --version.
	* driver/main.c (main): Do nothing for the null driver.
	* sman/sman.c (process_arguments): Accept long form of options.

2009-04-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2757748
	* hyper/Makefile.in (${OUTLIB}/htsearch): Insist on execution bit.
	(${OUTLIB}/presea): Likewise.

2009-04-11  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2754400
	* interp/setvars.boot (setOutputFortran): Transform pathname from
	symbol to string.
	* testsuite/interpreter/sf-2754400.input: New.

2009-04-11  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2749682
	* interp/sys-os.boot ($NaNvalue): Fix typo.
	* testsuite/interpreter/sf-2749682.input: New.

2009-04-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2564917
	* lisp/core.lisp.in: Default the read to DOUBLE-FLOAT for floating
	point literals.
	* boot/translator.boot (BOOTTOCLLINES): Don't set it here.

2009-04-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/scan.boot (scanCheckRadix): Take the radix in string form.
	Croak on missing digit after radix.
	(scanNumber): Don't ask for implicit 0 completion for explicit
	radix integers.
	* interp/int-top.boot (phInterpret): Don't bother evaluating
	expressions if earlier phases saw errors.
	* interp/msg.boot (getStFromMsg): Fix typo.

2009-04-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* boot/ast.boot: Support more ISO C sized integer type in FFI.

2009-03-26  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* boot/ast.boot (nativeType): Accept int16 and int32.
	(getFFIDatatype): Accept ReadWrite modifier.
	* algebra/data.spad.pamphlet (Int32): New.
	(UInt64): Likewise.
	* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT64
	and UINT64.

2009-03-25  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* clef/edible.c (main): Properly null-terminate varargs call.

2009-03-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/fnewmeta.lisp (PARSE-Import): Parse extern entity
	signature import. 
	* interp/functor.boot (encodeLocalFunctionName): New.
	* interp/define.boot (compDefine1): Avoid getAbbreviation.
	(doIt): Handle %SignatureImport nodes.
	* interp/compiler.boot (emitLocalCallInsn): New.
	(applyMapping): Use it.
	(compApplication): Likewise.
	(bootDenotation): New.
	(getBasicFFIType): Likewise.
	(getFFIDatatype): Likewise.
	(getBootType): Likewise.
	(checkExternalEntityType): Likewise.
	(checkExternalEntity): Likewise.
	(removeModifiers): Likewise.
	(compSignatureImport): Likewise.
	* interp/vmlisp.lisp (|compileLispDefinition|): New.
	* interp/boot-pkg.lisp: Import genImportDeclaration.
	* boot/initial-env.lisp: Export genImportDeclaration.
	* boot/ast.boot: Tidy.  Accept `readwrite' modifier.

2009-03-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (modeIsAggregateOf): Use RepIfRepHack.
	* interp/g-opt.boot (optimizeFunctionDef): Tidy.
	* interp/i-syscmd.boot (compileSpad2Cmd): Support ')report' option.
	* interp/sys-driver.boot (initializeGlobalState): Likewise.

2009-03-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/g-opt.boot (optimize): Remove non-qualified
	interpretation of 'false' and 'true'.
	(optCond): Emit 'NOT', not 'NULL'.
	(optIF2COND): Likewise.
	(EqualBarGensym): Tidy.

2009-03-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (compTopLevel): Initialize list of
	optimizable domain constructors.
	(processInlineRequest): New.
	* interp/define.boot (spadCompileOrSetq): Tidy.
	(mutateToNothing): New.
	(doIt): Use it.  Add support for inline directives.
	* interp/fnewmeta.lisp (PARSE-Inline): New.
	* interp/metalex.lisp (KEYWORDS): Include 'inline'.

2009-02-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/nruncomp.boot (genDeltaEntry): Return optimized
	implementation after slot allocation.
	* share/algebra: Update databases.
	* algebra/strap: Update cached Lisp translation.

2009-02-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/define.boot (NRTPARSE): Remove.
	(mkCategoryPackage): Remove dead code.
	(compDefineFunctor1): Tidy.
	(compDefineCapsuleFunction): Likewise.
	(compileCases): Likewise.

2009-02-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* lisp/core.lisp.in ($ECLVersionNumber): New.
	* boot/ast.boot (genECLnativeTranslation): Use it.

2009-02-22  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (compAtom): Don't interpret 'nil' as empty
	vector. 
	(compSymbol): Don't interpret 'true' and 'false' as Boolean
	constants if domain Boolean is not in scope.
	* algebra/any.spad.pamphlet (Property): Tidy.
	* algebra/asp.spad.pamphlet (Asp34): Likewise.
	* algebra/functions.spad.pamphlet (BasicFunctions): Likewise.
	* algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator):
	Likewise. 
	* algebra/groebsol.spad.pamphlet: Import Boolean.

2009-02-22  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/util.lisp (MAKESPAD): Remove.
	(MAKELIB): Likewise.
	(tr): Likewise.
	(MAKE-TAGS-FILE): Likewise.
	(SPADTAGS-FROM-DIRECTORY): Likewise.
	(SPADTAGS-FROM-FILE): Likewise.
	(WRITE-TAG-LINE): Likewise.
	(FINDTAG): Likewise.
	(MATCH-LISP-TAG): Likewise.
	(BLANKCHARP): Likewise.

2009-02-22  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/msgdb.boot: Avoid SETANDFILEQ.

2009-02-21  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (compRetractAlternative): Don't store
	pointers to the environment.
	(compRecoverAlternative): Likewise.
	(compMatch): Likewise.
	(compIterator): Likewise.
	(compIteratorV): Likewise.
	* interp/define.boot (checkRepresentation): Likewise.
	* interp/info.boot (actOnInfo): Likewise.

2009-02-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/sys-utility.boot (%hostByteOrder): Make a function.
	* algebra/system.spad.pamphlet (hostByteOrder$System): Adjust call.

2009-02-19  Aleksej Saushev  <asau@inbox.ru>

	* lib/openpty.c: Include <sys/types.h> when testing for openpty.

2009-02-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/catdef.spad.pamphlet (characteristic$Ring): Make a
	constant. 
	* algebra/naalgc.spad.pamphlet
	(characteristic$NonAssociativeRing): Likewise. 

2009-02-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/parse.boot (parseHas): Constants are not attributes.
	* interp/compiler.boot (compHasFormat): Handle signature for
	constants too.
	* interp/info.boot (actOnInfo): Likewise.
	* algebra/data.spad.pamphlet (sample$Byte): Make a constant.
	(SystemInteger): Export constant 'sample'.
	(SystemNonNegativeInteger): Likewise.
	* algebra/aggcat2.spad.pamphlet (FiniteLinearAggregateFunctions2):
	Use 'sample' or 'random' elements when allocating new aggregates.

2009-02-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/data.spad.pamphlet (ByteBuffer): Tidy.  Manage size
	explicitly. 
	* algebra/net.spad.pamphlet (writeBytes!$InetClientStreamSocket):
	Convert buffer to array before calling VM function.
	(readBytes!$InetClientStreamSocket): Likewise.
	* interp/sys-utility.boot (makeByteBuffer): Don't ask for fill
	pointers. 

2009-02-09  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* lib/openpty.c: #include <sys/ioctl.h>, <termios.h>, and
	<libutil.h> where available.

2009-02-09  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/i-spec2.boot (upDollar): Fix thinko.
	* interp/compat.boot (editFile): Tidy.
	* interp/br-op2.boot (modemap2Sig): Don't update $badStack.xo

2009-02-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/i-spec2.boot (constantInDomain?): Move from i-coerce.boot.
	(findConstructor$Constructor): Take constant type as argument.
	(upDollar): Tidy.

2009-02-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix AW/103
	* algebra/catdef.spad.pamphlet (exquo$EuclideanDomain): Return 0
	if first argument is 0.
	* algebra/integer.spad.pamphlet (exquo$Integer): Remove.
	* testsuite/interpreter/aw-103.input: New.

2009-02-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix AW/66
	* algebra/zerodim.spad.pamphlet: Restore use of one? 
	* algebra/updivp.spad.pamphlet: Likewise.
	* algebra/unifact.spad.pamphlet: Likewise.
	* algebra/triset.spad.pamphlet: Likewise.
	* algebra/tools.spad.pamphlet: Likewise.
	* algebra/suts.spad.pamphlet: Likewise.
	* algebra/sttaylor.spad.pamphlet: Likewise.
	* algebra/string.spad.pamphlet: Likewise.
	* algebra/sregset.spad.pamphlet: Likewise.
	* algebra/si.spad.pamphlet: Likewise.
	* algebra/sf.spad.pamphlet: Likewise.
	* algebra/riccati.spad.pamphlet: Likewise.
	* algebra/rf.spad.pamphlet: Likewise.
	* algebra/regset.spad.pamphlet: Likewise.
	* algebra/rderf.spad.pamphlet: Likewise.
	* algebra/rdeef.spad.pamphlet: Likewise.
	* algebra/quat.spad.pamphlet: Likewise.
	* algebra/puiseux.spad.pamphlet: Likewise.
	* algebra/pscat.spad.pamphlet: Likewise.
	* algebra/prtition.spad.pamphlet: Likewise.
	* algebra/prs.spad.pamphlet: Likewise.
	* algebra/primelt.spad.pamphlet: Likewise.
	* algebra/polycat.spad.pamphlet: Likewise.
	* algebra/poly.spad.pamphlet: Likewise.
	* algebra/polset.spad.pamphlet: Likewise.
	* algebra/pfo.spad.pamphlet: Likewise.
	* algebra/perm.spad.pamphlet: Likewise.
	* algebra/pattern.spad.pamphlet: Likewise.
	* algebra/padiclib.spad.pamphlet:Likewise.
	* algebra/openmath.spad.pamphlet: Likewise.
	* algebra/opalg.spad.pamphlet: Likewise.
	* algebra/op.spad.pamphlet: Likewise.
	* algebra/omerror.spad.pamphlet: Likewise.
	* algebra/oderf.spad.pamphlet: Likewise.
	* algebra/odeef.spad.pamphlet: Likewise.
	* algebra/oct.spad.pamphlet: Likewise.
	* algebra/nlinsol.spad.pamphlet: Likewise.
	* algebra/newpoly.spad.pamphlet: Likewise.
	* algebra/naalgc.spad.pamphlet: Likewise.
	* algebra/naalg.spad.pamphlet: Likewise.
	* algebra/multpoly.spad.pamphlet: Likewise.
	* algebra/mring.spad.pamphlet: Likewise.
	* algebra/modring.spad.pamphlet: Likewise.
	* algebra/moddfact.spad.pamphlet: Likewise.
	* algebra/mkfunc.spad.pamphlet: Likewise.
	* algebra/matstor.spad.pamphlet: Likewise.
	* algebra/matrix.spad.pamphlet: Likewise.
	* algebra/matcat.spad.pamphlet: Likewise.
	* algebra/manip.spad.pamphlet: Likewise.
	* algebra/lodof.spad.pamphlet: Likewise.
	* algebra/liouv.spad.pamphlet: Likewise.
	* algebra/laplace.spad.pamphlet: Likewise.
	* algebra/irexpand.spad.pamphlet: Likewise.
	* algebra/intrf.spad.pamphlet: Likewise.
	* algebra/intpm.spad.pamphlet: Likewise.
	* algebra/intfact.spad.pamphlet: Likewise.
	* algebra/integer.spad.pamphlet: Likewise.
	* algebra/intclos.spad.pamphlet: Likewise.
	* algebra/intaux.spad.pamphlet: Likewise.
	* algebra/intalg.spad.pamphlet: Likewise.
	* algebra/intaf.spad.pamphlet: Likewise.
	* algebra/gpol.spad.pamphlet: Likewise.
	* algebra/gpgcd.spad.pamphlet: Likewise.
	* algebra/gb.spad.pamphlet: Likewise.
	* algebra/gaussian.spad.pamphlet: Likewise.
	* algebra/galutil.spad.pamphlet: Likewise.
	* algebra/galpolyu.spad.pamphlet: Likewise.
	* algebra/galfact.spad.pamphlet: Likewise.
	* algebra/fspace.spad.pamphlet: Likewise.
	* algebra/fs2ups.spad.pamphlet: Likewise.
	* algebra/fs2expxp.spad.pamphlet: Likewise.
	* algebra/free.spad.pamphlet: Likewise.
	* algebra/fraction.spad.pamphlet: Likewise.
	* algebra/fr.spad.pamphlet: Likewise.
	* algebra/fparfrac.spad.pamphlet: Likewise.
	* algebra/fortran.spad.pamphlet: Likewise.
	* algebra/fmod.spad.pamphlet: Likewise.
	* algebra/float.spad.pamphlet: Likewise.
	* algebra/ffx.spad.pamphlet: Likewise.
	* algebra/ffnb.spad.pamphlet: Likewise.
	* algebra/ffcg.spad.pamphlet: Likewise.
	* algebra/ffcat.spad.pamphlet: Likewise.
	* algebra/exprode.spad.pamphlet: Likewise.
	* algebra/expr.spad.pamphlet: Likewise.
	* algebra/expexpan.spad.pamphlet: Likewise.
	* algebra/elemntry.spad.pamphlet: Likewise.
	* algebra/efupxs.spad.pamphlet: Likewise.
	* algebra/efuls.spad.pamphlet: Likewise.
	* algebra/e04routine.spad.pamphlet: Likewise.
	* algebra/e04agents.spad.pamphlet: Likewise.
	* algebra/divisor.spad.pamphlet: Likewise.
	* algebra/derham.spad.pamphlet: Likewise.
	* algebra/defintrf.spad.pamphlet: Likewise.
	* algebra/defintef.spad.pamphlet: Likewise.
	* algebra/defaults.spad.pamphlet: Likewise.
	* algebra/d03agents.spad.pamphlet: Likewise.
	* algebra/d01weights.spad.pamphlet: Likewise.
	* algebra/d01routine.spad.pamphlet: Likewise.
	* algebra/d01agents.spad.pamphlet: Likewise.
	* algebra/curve.spad.pamphlet: Likewise.
	* algebra/crfp.spad.pamphlet: Likewise.
	* algebra/cont.spad.pamphlet: Likewise.
	* algebra/constant.spad.pamphlet: Likewise.
	* algebra/complet.spad.pamphlet: Likewise.
	* algebra/combfunc.spad.pamphlet: Likewise.
	* algebra/catdef.spad.pamphlet: Likewise.
	* algebra/brill.spad.pamphlet: Likewise.
	* algebra/array1.spad.pamphlet: Likewise.
	* algebra/algfunc.spad.pamphlet: Likewise.
	* algebra/algfact.spad.pamphlet: Likewise.

2009-02-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/system.spad.pamphlet (hostByteOrder$System): New.
	* algebra/data.spad.pamphlet (ByteOrder): New.
	* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include BYTEORD.

2009-02-06  Alfredo Portes  <doyenatccny@gmail.com>

	* hyper/presea.in: Fix thinko.
	
2009-02-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>
	    Alfredo Portes  <doyenatccny@gmail.com>

	Fix AW/236, AW/282
	* interp/sys-utility.boot (probeReadableFile): New.
	* interp/nlib.lisp (probe-name): Remove.
	(make-input-filename): Tidy.
	* interp/lisplib.boot (readLib1): Return nil if path inexistent.
	(getFileProperty): Likewise.

2009-02-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/domain.lisp: Remove.

2009-02-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>
	    Waldek Hebisch <hebisch@math.uni.wroc.pl>

	Fix AW/440
	* algebra/integrat.spad.pamphlet
	(integrate$FunctionSpaceComplexIntegration):  Use complexIntegrate
	for complex expressions.
	* testsuite/aw-440.input: New.

2009-02-04  Waldek Hebisch <hebisch@math.uni.wroc.pl>
	    Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix AW/441
	* algebra/defintrf.spad.pamphlet
	(findRealZero$DefiniteIntegrationTools):  Deal with simple zeros.
	* testsuite/interpreter/aw-441.input: New.

2009-02-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/gaussian.spad.pamphlet (ComplexCategory): Reinstate
	attribute 'complex'.
	* algebra/Makefile.pamphlet: Tidy.

2009-02-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/algfunc.spad.pamphlet: Quote symbols.
	* algebra/combfunc.spad.pamphlet: Likewise.
	* algebra/drawopt.spad.pamphlet: Likewise.
	* algebra/efstruc.spad.pamphlet: Likewise.
	* algebra/elemntry.spad.pamphlet: Likewise.
	* algebra/expr.spad.pamphlet: Likewise.
	* algebra/exprode.spad.pamphlet: Likewise.
	* algebra/float.spad.pamphlet: Likewise.
	* algebra/gaussian.spad.pamphlet: Likewise.
	* algebra/intaux.spad.pamphlet: Likewise.
	* algebra/irexpand.spad.pamphlet: Likewise.
	* algebra/laplace.spad.pamphlet: Likewise.
	* algebra/limitps.spad.pamphlet: Likewise.
	* algebra/liouv.spad.pamphlet: Likewise.
	* algebra/list.spad.pamphlet: Likewise.
	* algebra/lmdict.spad.pamphlet: Likewise.
	* algebra/manip.spad.pamphlet: Likewise.
	* algebra/matcat.spad.pamphlet: Likewise.
	* algebra/matrix.spad.pamphlet: Likewise.
	* algebra/mkfunc.spad.pamphlet: Likewise.
	* algebra/mset.spad.pamphlet: Likewise.
	* algebra/oct.spad.pamphlet: Likewise.
	* algebra/op.spad.pamphlet: Likewise.
	* algebra/patmatch1.spad.pamphlet: Likewise.
	* algebra/pattern.spad.pamphlet: Likewise.
	* algebra/quat.spad.pamphlet: Likewise.
	* algebra/sets.spad.pamphlet: Likewise.
	* algebra/transsolve.spad.pamphlet: Likewise.
	* algebra/vector.spad.pamphlet: Likewise.

2009-02-03  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/boolean.spad.pamphlet (Boolean): Tidy.

2009-02-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/domain.spad.pamphlet (FunctionDescriptor): New.
	(OverloadSet): Likewise.
	(operations$ConstructorCategory): Likewise.
	* share/algebra: Update databases.

2009-01-31  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/Makefile.pamphlet: Tidy layer 0 dependency.
	SETCAT and SETCAT- are no longer required for bootstrap.
	* algebra/SETCAT.lsp: Remove.
	* algebra/SETCAT-.lsp: Likewise.

2009-01-30  Waldek Hebisch <hebisch@math.uni.wroc.pl>
	    Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix AW/83
	* interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T.
	* testsuite/interpreter/aw-83.input (a): New.

2009-01-29  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* OpenAxiom 1.2.1 Released.

2009-01-29  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/g-error.boot (systemErrorHandler): Tidy.

2009-01-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/domain.spad.pamphlet (findConstructor$Constructor): New.

2009-01-17  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/br-saturn.boot (htpMakeEmptyPage): Use deprecated GENTEMP
	instead of GENSYM.
	* interp/ht-util.boot (htpName): Likewise.
	(mkCurryFun): Likewise.
	(htRadioButtons): Likewise.
	(htBcRadioButtons): Likewise
	* interp/br-con.boot (kisValidType): Use $LangSupportTypes.

2009-01-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/riccati.spad.pamphlet (innerlb$PrimitiveRatRicDE): Fix
	thinko. 
	* interp/bootlex.lisp (get-decimal-number-token): New.
	(get-integer-in-radix): Likewise.
	(is-radix-char): Likewise.
	(get-spad-integer-token): Likewise.  Use them.
	(get-BOOT-token): Use it.
	* interp/metalex.lisp: Tidy.

2009-01-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/net.spad.pamphlet (InputByteConduit): Add readInt8!,
	readInt16!, readInt32!, readUInt8!, readUInt16!, readUInt32!.

2009-01-12  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/category.boot: Miscellaneous cleanup.
	* interp/compiler.boot: Likewise.
	* interp/define.boot: Likewise.
	* interp/functor.boot: Likewise.
	* interp/info.boot: Likewise.
	* interp/nruncomp.boot: Likewise.
	* interp/wi1.boot: Likewise.
	* interp/wi2.boot: Likewise.

2009-01-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (getSuccessEnvironment): Don't specialize
	on `has'.
	(getInverseEnvironment): Likewise.
	* algebra/equation2.spad.pamphlet (factorAndSplit$Equation): Fix
	misuses of `has'.
	* interp/functor.boot (mkTypeForm): Rename from mkDomainConstructor.

2009-01-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	Fix SF/2491986
	* interp/i-syscmd.boot (displayValue): Fix thinko.
	* testsuite/interpreter/sf-2491986.input (a): New.

2009-01-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/parse.boot ($parsingType): New.
	(parseType): New.  Parse types forms.
	(parseTypeList): New.  Parse list of type forms.

2009-01-09  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/compiler.boot (compPredicate): Rename from compBoolean. 
	Lose second argument.  Document.

2009-01-09  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.
	(SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32,
	UInt8, UInt 16, UInt32): New.
	* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8,
	INT16, INT32, UINT8, UINT16, UINT32.

2009-01-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/sys-utility.boot (readByteFromFile): Tidy.
	(makeByteBuffer): Set fill pointer.
	(connectToHostAndPort): Define here.
	(readByteFromStreamSocket): Likewise.
	(writeByteToStreamSocket): Likewise.
	* interp/sys-os.boot (doConnectToHostAndPort): Rename from
	connectot$NetworkClientSocket. 
	(doReadByteFromStreamSocket): Rename from readByteFromStreamSocket.
	(doWriteByteToStreamSocket): Rename from writeByteToStreamSocket.
	* algebra/net.spad.pamphlet: Use Maybe Byte.
	* algebra/data.spad.pamphlet (ByteBuffer): Fix fill pointer thinko.

2009-01-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/net.spad.pamphlet (resolve$Hostname): Return a Maybe %.
	(connectot$NetworkClientSocket): Likewise.
	(connectot$InetClientStreamSocket): Likewise.

2009-01-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* algebra/any.spad.pamphlet (Maybe): Rework.

2009-01-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/sys-utility.boot (getVMType): IndexList are lists.
	* interp/g-util.boot (isSubDomain): Tidy.
	* interp/g-opt.boot (isVMConstantForm): New.
	(findVMFreeVars): Likewise.
	* interp/define.boot (insertViewMorphisms): Remove.
	(emitSubdomainInfo): New.
	(checkVariableName): Likewise.
	(checkParameterNames): Likewise.
	(checkRepresentation): Set $subdomain where appropriate.
	(compDefines): Check parameter names.
	(compDefineFunctor1): Propagate subdomain info.
	(doIt): Don't call insertViewMorphisms.
	* interp/compiler.boot (setqSingle): Check variable name.
	(compIterator): Likewise.
	(commonSuperType): New.
	(satisfies): Likewise.
	(coerceSubset): Use them to implemen cross-subdomain coercion.
	(coerceSuperset): New.
	(comCoerce1): Use it.
	(compPer): New.
	(compRep): Likewise.
	* interp/c-util.boot (getRepresentation): New.
	(proclaimCapsuleFunction): Improve for specialized subdomains.
	* algebra/stream.spad.pamphlet: Don't use `per' as variable name.
	* algebra/si.spad.pamphlet (size$SingleInteger): Tidy.
	(coerce$SingleInteger): Likewise.
	* algebra/reclos.spad.pamphlet (nonNull$RealClosure): Don't use
	`rep' as parameter name.
	* algebra/data.spad.pamphlet (Byte): Now a subdomain of
	NonNegativeInteger.  Tidy.

2009-01-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/daase.lisp (setdatabase): Set superdomain slot too.
	* interp/g-util.boot (superType): Handle current domain form.
	(maximalSuperType): Tidy.
	(noteSubDomainInfo): Call SETDATABASE.

2009-01-04  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/buildom.boot (createEnum): Fix quoting.
	* interp/compat.boot (system): Likewise.
	* interp/astr.boot (ncEltQ): Fix declaration.
	* interp/compiler.boot (compMapCond'): Likewise.
	(compMapCond): Likewise.
	(compMapCondFun): Remove declaration.

2009-01-03  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* lisp/core.lisp.in (|%algebraSystemIsComplete|): New.
	(|%basicSystemIsComplete|): Use it.
	* interp/wi1.boot (setqSingle): Use maximalSuperType.
	(coerceSubset): Simplify.
	(compCoerce1): Tidy.
	* interp/i-resolv.boot (resolveTCat): Use superType.
	* interp/lisplib.boot (findConstructorSlotNumber): Use isSubset.
	(sigsMatch): Likewise.
	(findDomainSlotNumber): Likewise.
	* interp/define.boot (compSubDomain1): Reject for complex subdomain
	predicate.  Support paramterized subdomains.
	* interp/daase.lisp (interpOpen): Read superdomain slot.
	(getdatabase): Remove adhoc hardcoded superdomain info.
	Return superdomain info stored in database.
	(localnrlib): Read superdomain info.
	(write-interpdb): Write superdomain info.
	(database): Add superdomain slot.
	* interp/g-util.boot (superType): New.
	(maximalSuperType): Rework.  Support parameterized subdomains.
	(noteSubDomainInfo): New.
	(isSubDomain): Rework.
	* interp/c-util.boot (isSubset): Rework.
	* interp/g-opt.boot (optEQ): Remove.
	* interp/g-cndata.boot (getImmediateSuperDomain): Remove.
	(maximalSuperType): Move to g-util.boot.
	* interp/types.boot (%Constructor): New type specifier.
	(%Instantiation): Likewise.
	* interp/compiler.boot (primitiveType): Don't return $NegativeInteger.
	(maxSuperType): Remove.
	(hasType): Use maximalSuperType.
	(satisfies): New.
	(coerceSubset): Use it.  Simplify.
	* interp/wi2.boot (smallIntegerStep): Use maximalSuperType.
	* interp/sys-constants.boot ($AtVariables): New.
	($NegativeInteger): Remove.
	($NonPositiveInteger): Likewise.
	($CategoryNames): Category is not a category.	
	* interp/property.lisp: Remove Subsets property settings.
	* interp/i-coerce.boot (coerceSubDomain): Simplify.
	(coerceImmediateSubDomain): Remove.
	(getSubDomainPredicate): Simplify.
	* interp/category.boot (SourceLevelSubset): Use isSubDomain.
	(MachineLevelSubset): Likewise.
	* interp/modemap.boot (mergeModemap): Likewise.
	(isSuperDomain): Remove.
	(augModemapsFromDomain): Support parameterized subdomains.
	* interp/i-util.boot (isSubDomain): Move to g-util.boot.
	* Makefile.pamphlet (all-databases): New target.
	* interp/Makefile.pamphlet ($(AXIOMSYS)): Push
	:open-axiom-algebra-system onto *FEATURES*.
	* etc/Makefile.in (all-databases): New target.

2009-01-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/buildom.boot (UnionEqual): Don't call orderUnionEntries.
	(coerceUn2E): Likewise.
	(mkUnionFunList): Likewise.
	* interp/i-coerce.boot (coerceUnion2Branch): Likewise.
	(coerceBranch2Union): Likewise.
	($newCompilerUnionFlag): Remove.
	(orderUnionEntries): Likewise.
	(mkPredList): Remove dead code.

2009-01-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/c-util.boot (updateCapsuleDirectory): Record constant
	makers too.
	(replaceSimpleFunctions): Fold simple constant form makers.

2009-01-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* interp/pf2sex.boot (pfLiteral2Sex): Fix evaluation of intergers
	with non-decimal radix.
	* interp/scan.boot (rdigti?): Allow non-capital letters.