diff options
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. |