Age | Commit message (Collapse) | Author | Files | Lines |
|
length of buffer to count of bytes read.
* algebra/si.spad.pamphlet (SingleInteger): Now formally subdomain
of Integer.
|
|
(compDefineFunctor1): Don't use it anymore.
(compCategoryItem): Filter out nil attributes here.
|
|
(ConvertibleFrom): Likewise.
(RetractableTo): Use it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
KRCFROM and KVTFROM.
* share/algebra/: Update databases.
|
|
|
|
* algebra/strap: Update cached Lisp translation.
|
|
algebra bootstrap domains here.
|