open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2013-05-19	* interp/define.boot (compDefineFunctor1): Use the current	dos-reis	1	-10/+11
2013-05-19	* interp/define.boot (sourceMatches): New.	dos-reis	1	-2/+28
2013-05-19	* interp/define.boot (getSignature): Third parameter need not be fluid.	dos-reis	1	-4/+4
2013-05-19	Tidy getSignature	dos-reis	1	-8/+6
2013-05-19	* interp/define.boot (knownPred): Take a memo-table as third parameter.	dos-reis	1	-19/+39
2013-05-16	* interp/compiler.boot (unknownTypeError): Simplify.	dos-reis	1	-0/+9
2013-05-15	* interp/define.boot (dbClearForCompilation!): New.	dos-reis	1	-3/+8
2013-05-15	* interp/define.boot (checkAndDeclare): Constructor parameter	dos-reis	1	-4/+6
2013-05-14	* interp/c-util.boot (cleanParameterList!): New.	dos-reis	1	-9/+2
2013-05-11	Consistently use OIL opcodes for abstractions	dos-reis	1	-6/+6
2012-05-25	/EDITFILE cleanup	dos-reis	1	-3/+3
2012-05-05	* interp/clam.boot (compClam): Remove.	dos-reis	1	-1/+1
2012-05-05	* interp/define.boot (compileConstructor1): Don't call	dos-reis	1	-14/+7
2012-05-03	* interp/c-util.boot: Use LAMBDA type in lieu of LAM.	dos-reis	1	-2/+2
2012-05-03	* interp/define.boot (compDefineFunctor1): Use LAMBDA for the	dos-reis	1	-1/+1
2012-02-26	* interp/g-util.boot (usedSymbol?): Remove.	dos-reis	1	-9/+1
2012-02-13	* interp/g-util.boot (stripTags): Rename from stripUnionTags.	dos-reis	1	-1/+1
2012-02-13	* interp/define.boot (getCatAncestors): Remove. Adjust caller.	dos-reis	1	-5/+3
2012-02-13	* interp/define.boot (NRTcatCompare): Remove.	dos-reis	1	-5/+3
2012-02-12	* interp/define.boot (depthAssocList): Take the cache as second	dos-reis	1	-11/+9
2012-02-12	* interp/define.boot (getParentsFor): Lose second parameter. Tidy.	dos-reis	1	-11/+23
2012-02-12	* interp/br-data.boot (ancestorsRecur): Tidy.	dos-reis	1	-4/+4
2012-02-11	* interp/br-data.boot (getParentsFor): Move to define.boot.	dos-reis	1	-0/+20
2012-02-10	* interp/define.boot (mkEvalableCategoryForm): Compile only	dos-reis	1	-7/+8
2012-02-10	* interp/database.boot (categoryConstructor?): New.	dos-reis	1	-5/+3
2012-01-13	* interp/category.boot: Rename AncestorP to ancestor?.	dos-reis	1	-1/+1
2012-01-01	* interp/define.boot (evalCategoryForm): New.	dos-reis	1	-4/+8
2011-12-28	* interp/vmlisp.lisp (SORTBY): Remove.	dos-reis	1	-1/+1
2011-12-28	* boot/tokens.boot: Do not rewrite drop and take.	dos-reis	1	-7/+7
2011-12-07	* interp/compiler.boot (compReduce1): Tidy.	dos-reis	1	-1/+1
2011-12-03	* interp/compiler.boot: Replace %labelled with %scope.	dos-reis	1	-1/+1
2011-12-01	* interp/define.boot (compDefineCategory): Lose prefix parameter.	dos-reis	1	-32/+30
2011-12-01	* interp/compiler.boot (compSeq1): Generate %labelled forms.	dos-reis	1	-1/+1
2011-11-30	* interp/define.boot (registerInlinableDomain): Lose last argument.	dos-reis	1	-9/+14
2011-11-30	* interp/c-util.boot (clearReplacement): Clear redex replacement.	dos-reis	1	-1/+1
2011-11-28	* interp/define.boot (encodeCatform): Handle $ here.	dos-reis	1	-0/+1
2011-11-28	* interp/database.boot (dbDefaultPackage?): New.	dos-reis	1	-3/+38
2011-11-27	* interp/define.boot (assignCapsuleFunctionSlot): Slot original	dos-reis	1	-3/+2
2011-11-27	* interp/nruncomp.boot (assocIndex): Rename from NRTassocIndex.	dos-reis	1	-1/+1
2011-11-26	* interp/define.boot (assignCapsuleFunctionSlot): Do not call	dos-reis	1	-6/+6
2011-11-26	* algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.	dos-reis	1	-2/+4
2011-11-26	* interp/c-util.boot (updateCapsuleDirectory): Simplify.	dos-reis	1	-3/+6
2011-11-26	* interp/define.boot ($NRTdeltaList): Remove.	dos-reis	1	-6/+4
2011-11-26	* interp/br-con.boot (conOpPage1): Fix typo.	dos-reis	1	-17/+20
2011-11-25	* interp/define.boot (processDefinitionParameters): New. Abstract	dos-reis	1	-18/+16
2011-11-25	* interp/define.boot: Rearrange order of some definitions.	dos-reis	1	-32/+38
2011-11-25	* interp/define.boot: Rearrange order of some definitions.	dos-reis	1	-91/+89
2011-11-25	* interp/define.boot ($suffix): Remove toplevel declaration.	dos-reis	1	-42/+36
2011-11-24	* interp/define.boot: Tidy.	dos-reis	1	-1/+1
2011-11-24	* interp/define.boot ($CheckVectorList): Remove.	dos-reis	1	-22/+0