open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2011-08-06	cleanup	dos-reis	1	-1/+1

2011-08-04	cleanup	dos-reis	1	-0/+7

2011-07-03	* boot/tokens.boot: flushOutput, writeNewline, writeString	dos-reis	1	-1/+9
	are new builtin library functions. * boot/utility.boot (finishLine): New exported function. * interp/i-output.boot (formulaFormat): Use it. (texFormat): Likewise. (texFormat1): Likewise. (mathmlFormat): Likewise. (output): Remove case for TextWriter.
2011-05-21	more cleanup	dos-reis	1	-1/+9

2011-05-13	* boot/utility.boot (charPosition): New.	dos-reis	1	-0/+11
	* boot/scanner.boot (shoeAccumulateLines): Use it. (shoeS): Likewise.
2011-05-02	* boot/ast.boot (idList?, charList?, stringLits?): New.	dos-reis	1	-1/+1
	(bfMember): Use them for special cases. * boot/parser.boot (bpDefinition): Stop support MDEF forms. (bpMdef, bpMDefTail): Remove. * boot/tokens.boot: "==>" is no longer a token.
2011-05-01	* boot/utility.boot (applySubstNQ): New.	dos-reis	1	-1/+15
	* interp/compiler.boot (finishLambdaExpression): Use it. * interp/i-intern.boot (mkAtreeExpandMacros): Likewise. * interp/i-map.boot (addMap): Likewise. * interp/vmlisp.lisp (SUBLISNQ, SUBANQ, SUBB): Remove.
2011-05-01	* boot/tokens.boot: Don't rename append.	dos-reis	1	-3/+7
	* boot/parser.boot (bpTyping): Support universally quantified types. * boot/ast.boot: Rewrite APPEND as append. (%Forall): New AST node. * boot/translator.boot: Translate it.
2011-04-30	* boot/ast.boot (bfAppend): Write in full.	dos-reis	1	-0/+3
	* interp/ptrees.boot (pfAppend): Likewise.
2011-04-30	more cleanup	dos-reis	1	-1/+1

2011-04-30	cleanup	dos-reis	1	-1/+3

2011-04-30	* interp/vmlisp.lisp (remove): Remove.	dos-reis	1	-4/+45
	(REMOVEQ, NREMOVEQ): Likewise. * boot/utility.boot (removeSymbol, removeScalar, removeValue) (remove): New. * boot/ast.boot (bfMDef): Use applySubst in lieu of SUBLIS.
2011-04-29	* boot/utility.boot (assocSymbol): New.	dos-reis	1	-1/+22
	(applySubst): Likewise. Export. * boot/ast.boot: Use it. Remove SUBLIS and SUBLISLIS. * interp/ax.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/br-op2.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/buildom.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/c-util.boot: Likewise. * interp/cattable.boot: Likewise. * interp/compiler.boot: Likewise.
2011-04-22	* boot/tokens.boot: Don't translate setDifference.	dos-reis	1	-2/+11
	* boot/initial-env.lisp (SETDIFFERNECE): Remove. * boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE. * boot/utility.boot (setDifference): Define. * interp/unlisp.lisp (ListMemberQ?): Remove. (ListRemoveQ): Likewise. (AlistAssocQ): Likewise.
2011-04-22	more cleanup	dos-reis	1	-1/+22

2011-04-22	* boot/utility.boot (copyList): Define.	dos-reis	1	-1/+22
	(append!): Likewise. * boot/tokens.boot: Do not translate nconc.
2011-04-21	* boot/tokens.boot: Don't translate lastNode anymore.	dos-reis	1	-1/+7
	* boot/utility.boot (lastNode): Define.
2011-04-21	* boot/utility.boot (objectMember?): Don't rely non tail recursion	dos-reis	1	-3/+16
	removal. (reverse): Define. * boot/tokens.boot: Don't rename reverse anymore. * boot/ast.boot: Generate reverse forms instead of REVERSE.
2011-04-21	* boot/tokens.boot: Don't rename nreverse.	dos-reis	1	-1/+16
	* boot/utility.boot (reverse!): Define. * boot/parser.boot: Use reverse! instead of NREVERSE. * boot/ast.boot: Generate reverse! forms instead of NREVERSE.
2011-04-20	* interp/sys-utility.boot (substitute): Define.	dos-reis	1	-16/+31
	(substitute!): Likewise. * boot/utility.boot: Do not rely on tail recursion removal. * boot/tokens.boot: Don't translate substitute and substitute!. * boot/ast.boot (bfLp1): Tidy.
2011-04-19	more cleanup	dos-reis	1	-10/+15

2011-04-19	* boot/tokens.boot: charUpcase, charDowncase, stringUpcase,	dos-reis	1	-15/+13
	singDowncase, valueEq? are new builtin functions. * boot/ast.boot (bfMembr): Tidy.
2011-04-19	* interp/newfort.boot: Likewise.	dos-reis	1	-0/+62
	* interp/define.boot (orderBySubsumption): Fix thinko. * interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names individually. * boot/utility.boot: New. * boot/translator.boot (exportNames): Fix thinko. * boot/tokens.boot: Add charEq? and scalarEq? builtiin functions. * boot/ast.boot (bfMember): Generate call to symbolMember? for membership tests for symbols.