1 |
gcl (2.5.0.cvs20020625-65) unstable; urgency=low |
gcl (2.5.0.cvs20020625-65) unstable; urgency=high |
2 |
|
|
3 |
* Miscellaneous Freebsd patches |
* Miscellaneous Freebsd patches |
4 |
* non-recursive with-package-iterator |
* non-recursive with-package-iterator |
5 |
* map-into fill-pointer fixes |
* map-into fill-pointer fixes |
6 |
|
* changes to the user-init mechanism for portable acl2 build |
7 |
|
|
8 |
-- Camm Maguire <camm@enhanced.com> Sun, 3 Nov 2002 20:43:59 -0500 |
-- Camm Maguire <camm@enhanced.com> Sun, 10 Nov 2002 12:33:59 -0500 |
9 |
|
|
10 |
gcl (2.5.0.cvs20020625-64) unstable; urgency=low |
gcl (2.5.0.cvs20020625-64) unstable; urgency=low |
11 |
|
|