aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2008-08-02 * boot/parser.boot (bpTerm): Term forms depend on the kind ofdos-reis7-30/+64
2008-08-02 * interp/macros.lisp (sayBrightlyNT1): Tidy.dos-reis5-126/+133
2008-08-01 * interp/msgdb.boot (BRIGHTPRINT-0): Remove.dos-reis3-10/+10
2008-07-26 * interp/compiler.boot (getConstructorFormOfMode): Remove.dos-reis2-17/+6
2008-07-26(no commit message)dos-reis1-0/+12
2008-07-252008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis4-25/+60
2008-07-23Tidydos-reis1-1/+1
2008-07-23 * boot/strap: Update cached Lisp translation.dos-reis3-53/+129
2008-07-23Misc cleanup.dos-reis6-38/+110
2008-07-20 * interp/compiler.boot (compNot): Rename from compileNot.dos-reis2-3/+7
2008-07-17 * input/pat.input.pamphlet (square): Define square an operatpr.dos-reis2-0/+3
2008-07-15 Fix SF/2015650dos-reis2-1/+10
2008-07-15 * share/algebra: Update databases.dos-reis9-21915/+21910
2008-07-12 * interp/i-funsel.boot (findUniqueOpInDomain): Use evaluation typedos-reis3-8/+20
2008-07-11 * interp/sys-driver.boot (initializeGlobalState): New.dos-reis4-16/+23
2008-07-11 * interp/nruncomp.boot (NRTencode): Don't encode enumerations.dos-reis2-4/+13
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis4-7/+20
2008-07-09 * interp/i-spec2.boot (findConstantInDomain): Abstract fromdos-reis3-9/+24
2008-07-09 * interp/template.boot (evalSlotDomain): Likewise.dos-reis6-11/+24
2008-07-07 * interp/spad.lisp (S-PROCESS): Remove Old Boot specific codes.dos-reis17-96/+61
2008-07-07 * boot/initial-env.lisp: Export $InteractiveMode anddos-reis8-127/+66
2008-07-06 * interp/parse.boot ($normalizeTree): New.dos-reis7-23/+54
2008-07-06 * interp/parse.boot (parseTran): Don't set $op. Don't strip parsedos-reis2-63/+113
2008-07-05 * interp/nruncomp.boot (NRTassocIndex): Document.dos-reis4-9/+25
2008-07-04 * interp/compiler.boot (compFormMatch): Tidy.dos-reis9-23/+108
2008-07-04 Fix AW/429dos-reis2-2/+7
2008-07-04 * interp/category.boot (isCategory): Document.dos-reis2-46/+77
2008-07-04Update databases.dos-reis5-20001/+20002
2008-07-04 * interp/Makefile.pamphlet (OBJS): Don't include nruntime.$(FASLEXT).dos-reis9-80/+55
2008-07-03 Fix AW/428dos-reis4-7/+27
2008-07-03 * interp/postpar.boot (postBootNotEqual): Register post-parsers bydos-reis2-33/+36
2008-07-03 (compAndDefine): Capture by name, not pointer.dos-reis4-19/+32
2008-07-02 (coerceExtraHard): Convert domain instantiations to domain objects.dos-reis2-8/+11
2008-07-02 * interp/compiler.boot (compExpression): Tidy.dos-reis2-2/+7
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis8-19445/+19465
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis4-71/+49
2008-06-03 * interp/define.boot (compDefineCategory): Check that a categorydos-reis3-0/+12
2008-05-31(no commit message)dos-reis6-18462/+18467
2008-05-30Fix typo in getConstructorKindFromDBBill Page1-1/+1
2008-05-29 Fix AW/421.dos-reis3-2/+18
2008-05-29 * interp/i-analy.boot (conceptualType): Only Mode, Domain, anddos-reis3-2/+19
2008-05-29 * interp/interop.boot (newHasCategory): Category is a category, anddos-reis2-1/+6
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis3-1/+7
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis7-16990/+16995
2008-05-28 * include/open-axiom.h (openaxiom_handle): New datatype.dos-reis3-7/+21
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis9-24260/+24284
2008-05-24 * interp/i-coerce.boot (retract2Specialization): Leave if objectdos-reis2-0/+4
2008-05-24 * interp/define.boot (compDefineFunctor1): Robustify.dos-reis3-7/+10
2008-05-24 * interp/c-util.boot (stackAndThrow): Take an optional parameter.dos-reis4-12/+18
2008-05-24 * algebra/modgcd.spad.pamphlet: Fix sectioning thinko.dos-reis2-1/+4