index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
algebra
/
boolean.spad.pamphlet
Age
Commit message (
Expand
)
Author
Files
Lines
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
2007-08-14
Initial population.
dos-reis
1
-0
/
+587