| Mon, 17 Dec 2007 08:44:14 +0100 |
Aidan Kehoe |
Provide %b in #'format; use it for converting between ints and bit vectors.
|
| Thu, 22 May 2003 07:41:27 +0000 |
stephent |
[xemacs-hg @ 2003-05-22 07:41:20 by stephent]
|
| Mon, 13 Aug 2007 11:36:19 +0200 |
cvs |
Import from CVS: tag r21-2-37
r21-2-37
|
| Mon, 13 Aug 2007 11:35:02 +0200 |
cvs |
Import from CVS: tag r21-2-36
r21-2-36
|
| Mon, 13 Aug 2007 11:33:38 +0200 |
cvs |
Import from CVS: tag r21-2-28
r21-2-28
|
| Mon, 13 Aug 2007 11:28:15 +0200 |
cvs |
Import from CVS: tag r21-2-22
r21-2-22
|
| Mon, 13 Aug 2007 11:20:41 +0200 |
cvs |
Import from CVS: tag r21-2-14
r21-2-14
|
| Mon, 13 Aug 2007 11:13:30 +0200 |
cvs |
Import from CVS: tag r21-2-29
r21-2-29
|
| Mon, 13 Aug 2007 11:11:37 +0200 |
cvs |
Import from CVS: tag r21-2-12
r21-2-12
|
| Mon, 13 Aug 2007 11:03:08 +0200 |
cvs |
Import from CVS: tag r21-2b1
r21-2b1
|
| Mon, 13 Aug 2007 10:50:39 +0200 |
cvs |
Import from CVS: tag r21-0-65
r21-0-65
|
| Mon, 13 Aug 2007 10:34:13 +0200 |
cvs |
Import from CVS: tag r21-0b40
r21-0b40
|
| Mon, 13 Aug 2007 10:32:22 +0200 |
cvs |
Import from CVS: tag r21-0b38
r21-0b38
|
| Mon, 13 Aug 2007 09:19:45 +0200 |
cvs |
Import from CVS: tag r20-1b7
r20-1b7
|
| Mon, 13 Aug 2007 09:02:59 +0200 |
cvs |
Import from CVS: tag r20-0b30
r20-0b30
|
| Mon, 13 Aug 2007 08:57:55 +0200 |
cvs |
Import from CVS: tag r19-16-pre2
r19-16-pre2
|
| Mon, 13 Aug 2007 08:45:50 +0200 |
cvs |
Import from CVS: tag r19-14
r19-14
|
