Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2008-11-20 | * algebra/coerce.spad.pamphlet (CoercibleFrom): New. | dos-reis | 1 | -127/+0 | |
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases. | |||||
2008-10-11 | Update algebra bootstrap cache. | dos-reis | 1 | -4/+82 | |
2008-08-17 | * algebra/Makefile.pamphlet (all-algstrap): New. | dos-reis | 1 | -4/+131 | |
* algebra/strap: Update cached Lisp translation. | |||||
2008-08-16 | * algebra/strap: New. Sequester cached Lisp translation of | dos-reis | 1 | -0/+885 | |
algebra bootstrap domains here. |