| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -256/+180 | |
| (Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases. | |||||
| 2007-08-14 | Initial population. | dos-reis | 1 | -0/+587 | |
 |
index : open-axiom | |
| open scientific computation system | Igor Pashev |
| aboutsummaryrefslogtreecommitdiff |