diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-26 02:31:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-26 02:31:19 +0000 |
commit | 15cd0ab054c2d61565ff4503fb3212e3d356ab11 (patch) | |
tree | e9b04d948a19b20b493eca33b7404a6f9a0b8f91 /src/ChangeLog | |
parent | 22cfdf8f4e97d7916f0b0bac666322543caa81a8 (diff) | |
download | open-axiom-15cd0ab054c2d61565ff4503fb3212e3d356ab11.tar.gz |
* algebra/logic.spad.pamphlet: New file.
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ee3f4f00..b1703f4c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,16 @@ 2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/logic.spad.pamphlet: New file. + * algebra/boolean.spad.pamphlet (Logic): Move there. + (BooleanLogic): Likewise. + (PropositionalLogic): Likewise. + (PropositionalFormula): Likewise. + (PropositionalFormulaFunctions1): Likewise. + (PropositionalFormulaFunctions2): Likewise. + (KleeneTrivalentLogic): Likewise. + +2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename from nniBump. Fix thinko. |