Age | Commit message (Expand) | Author | Files | Lines |
2011-10-21 | * algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove | dos-reis | 1 | -1/+0 |
2011-10-16 | * algebra/boolean.spad.pamphlet (Boolean): Implement default | dos-reis | 1 | -9/+14 |
2011-10-12 | * algebra/boolean.spad.pamphlet (Reference) [elt]: Remove. | dos-reis | 1 | -27/+20 |
2011-09-07 | * interp/lisplib.boot (finalizeLisplib): Finalize documentaion | dos-reis | 1 | -1/+1 |
2011-08-05 | * algebra/boolean.spad.pamphlet (Boolean) [test]: Remove. | dos-reis | 1 | -4/+0 |
2011-03-09 | * interp/g-opt.boot: %pair, %list, %vector, %bitvector are now | dos-reis | 1 | -3/+3 |
2011-02-28 | * algebra/boolean.spad.pamphlet (PropositionalFormula): | dos-reis | 1 | -2/+8 |
2011-02-04 | * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp | dos-reis | 1 | -1/+2 |
2011-01-03 | * interp/g-util.boot: Expand new bit vector operators. | dos-reis | 1 | -18/+28 |
2011-01-02 | * interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before | dos-reis | 1 | -4/+4 |
2010-10-27 | * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut. | dos-reis | 1 | -6/+8 |
2010-10-27 | * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic. | dos-reis | 1 | -2/+2 |
2010-10-27 | * algebra/boolean.spad.pamphlet (Logic): Now extend Type. | dos-reis | 1 | -1/+1 |
2010-06-25 | * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison. | dos-reis | 1 | -4/+4 |
2010-05-30 | * algebra/boolean.spad.pamphlet (Boolean): Remove reference to | dos-reis | 1 | -24/+26 |
2010-04-08 | * algebra/boolean.spad.pamphlet (atoms$PropositionalFormula): | dos-reis | 1 | -7/+7 |
2010-04-07 | * algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula): | dos-reis | 1 | -6/+53 |
2010-04-04 | * algebra/boolean.spad.pamphlet (BooleanLogic): New. | dos-reis | 1 | -11/+24 |
2010-04-04 | * algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New. | dos-reis | 1 | -1/+80 |
2010-02-28 | * algebra/boolean.spad.pamphlet | dos-reis | 1 | -3/+15 |
2010-02-21 | * algebra/boolean.spad.pamphlet (PropositionalFormula): | dos-reis | 1 | -62/+74 |
2010-02-11 | * algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bug | dos-reis | 1 | -1/+1 |
2009-10-15 | * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy. | dos-reis | 1 | -1/+1 |
2009-06-11 | * interp/newaux.lisp: Remove digraphs '(<' and '>) as alternate | dos-reis | 1 | -7/+7 |
2009-05-28 | * interp/compiler.boot (compVector): Tidy code generation. | dos-reis | 1 | -15/+17 |
2009-05-28 | * algebra/boolean.spad.pamphlet (PropositionalLogic): Now export | dos-reis | 1 | -4/+4 |
2009-05-28 | * interp/newaux.lisp: Bot / and /\ are gliphs. | dos-reis | 1 | -23/+23 |
2009-05-11 | * interp/property.lisp: "not" is prefix operator with "not " for | dos-reis | 1 | -115/+55 |
2009-04-23 | * interp/c-util.boot (extendsCategoryForm): Use current category | dos-reis | 1 | -6/+4 |
2009-04-23 | * interp/sys-constants.boot ($SystemInlinableConstructorNames): | dos-reis | 1 | -2/+2 |
2009-03-01 | * interp/g-opt.boot (optimize): Remove non-qualified | dos-reis | 1 | -2/+2 |
2009-02-04 | * algebra/Makefile.pamphlet: Tidy. | dos-reis | 1 | -1/+1 |
2009-02-04 | * algebra/boolean.spad.pamphlet (Boolean): Tidy. | dos-reis | 1 | -10/+10 |
2008-12-14 | r12459@gauss: gdr | 2008-12-12 18:18:31 -0600 | dos-reis | 1 | -3/+3 |
2008-10-01 | * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp. | dos-reis | 1 | -1/+2 |
2008-09-21 | * algebra/syntax.spad.pamphlet (SpadAst): New. | dos-reis | 1 | -0/+2 |
2008-09-21 | Misc cleanup. | dos-reis | 1 | -3/+6 |
2008-09-21 | * algebra/boolean.spad.pamphlet (Boolean): Now belong to | dos-reis | 1 | -2/+2 |
2008-09-21 | * interp/sys-macros.lisp (|byteEqual|): New. | dos-reis | 1 | -46/+107 |
2008-08-31 | * algebra/boolean.spad.pamphlet (Boolean): Remove definition of | dos-reis | 1 | -4/+1 |
2008-08-16 | * algebra/strap: New. Sequester cached Lisp translation of | dos-reis | 1 | -271/+0 |
2008-07-11 | * interp/compiler.boot (compQuote): Restrict quoting to literal | dos-reis | 1 | -2/+2 |
2008-06-14 | * algebra/variable.spad.pamphlet (ModePatternVariable): New. | dos-reis | 1 | -1/+1 |
2008-05-07 | * algebra/boolean.spad.pamphlet (true$Boolean): Simplify. | dos-reis | 1 | -9/+9 |
2008-05-07 | * algebra/boolean.spad.pamphlet (Boolean): Don't pretend to | dos-reis | 1 | -60/+64 |
2008-04-14 | Update cached Lisp translation. | dos-reis | 1 | -15/+79 |
2008-01-18 | Fix typo. | dos-reis | 1 | -1/+1 |
2008-01-17 | add missing part of last commit | dos-reis | 1 | -8/+27 |
2008-01-17 | Fix SF/1849734 | dos-reis | 1 | -1/+229 |
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -256/+180 |