Index of /users/moore/acl2/v3-1/distrib/acl2-sources/books/unicode

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] test-performance/       29-Nov-2006 22:27    -   
[   ] Makefile                18-May-2006 09:45  6.9K  
[   ] app.lisp                03-Apr-2006 15:02  3.7K  
[   ] append.lisp             03-Apr-2006 15:02  2.4K  
[   ] base10-digit-charp.lisp 03-Apr-2006 15:02  2.6K  
[   ] close-input-channel...> 03-Apr-2006 15:02  3.9K  
[   ] coerce.lisp             03-Apr-2006 15:02  2.1K  
[   ] combine.lisp            03-Apr-2006 15:02  4.0K  
[   ] consless-listp.lisp     03-Apr-2006 15:02  1.9K  
[   ] explode-atom.lisp       03-Apr-2006 15:02  1.9K  
[   ] explode-nonnegative-..> 07-Apr-2006 07:35  6.9K  
[   ] file-measure.lisp       03-Apr-2006 15:02  3.3K  
[   ] flatten.lisp            03-Apr-2006 15:02  1.6K  
[   ] intern-in-package-of..> 03-Apr-2006 15:02  1.7K  
[   ] list-fix.lisp           03-Apr-2006 15:02  1.8K  
[   ] nat-listp.lisp          03-Apr-2006 15:02  1.8K  
[   ] nthcdr-bytes.lisp       03-Apr-2006 15:02  4.4K  
[   ] nthcdr.lisp             03-Apr-2006 15:02  2.7K  
[   ] open-input-channel.lisp 03-Apr-2006 15:02   10K  
[   ] open-input-channels...> 03-Apr-2006 15:02  7.7K  
[   ] partition.lisp          03-Apr-2006 15:02  2.7K  
[   ] peek-char.lisp          03-Apr-2006 15:02  1.8K  
[   ] pos-listp.lisp          03-Apr-2006 15:02  1.9K  
[   ] read-byte.lisp          03-Apr-2006 15:02  6.7K  
[   ] read-char.lisp          03-Apr-2006 15:02  3.4K  
[   ] read-file-bytes.lisp    03-Apr-2006 15:02  7.0K  
[   ] read-file-characters..> 03-Apr-2006 15:02  5.9K  
[   ] read-ints.lisp          03-Apr-2006 15:02   40K  
[   ] read-object.lisp        03-Apr-2006 15:02  2.1K  
[   ] read-utf8.lisp          03-Apr-2006 15:02   26K  
[   ] repeat.lisp             03-Apr-2006 15:02  1.1K  
[   ] revappend.lisp          03-Apr-2006 15:02  4.1K  
[   ] reverse.lisp            03-Apr-2006 15:02  1.4K  
[   ] sign-byte.lisp          03-Apr-2006 15:02  2.6K  
[   ] signed-byte-listp.lisp  03-Apr-2006 15:02  4.2K  
[   ] string-append.lisp      03-Apr-2006 15:02  1.4K  
[   ] sum-list.lisp           03-Apr-2006 15:02  1.8K  
[   ] take-bytes.lisp         03-Apr-2006 15:02  2.8K  
[   ] take.lisp               03-Apr-2006 15:02  2.8K  
[   ] uchar.lisp              03-Apr-2006 15:02   19K  
[   ] unsigned-byte-listp...> 03-Apr-2006 15:02  7.1K  
[   ] update-state.lisp       18-Jun-2006 22:17   32K  
[   ] utf8-decode-string.lisp 03-Apr-2006 15:02  2.8K  
[   ] utf8-decode.lisp        03-Apr-2006 15:02   51K  
[   ] utf8-encode.lisp        03-Apr-2006 15:02  7.1K  
[   ] utf8-table35.lisp       03-Apr-2006 15:02   13K  
[   ] utf8-table36.lisp       03-Apr-2006 15:02   17K  
[   ] utf8.lisp               03-Apr-2006 15:02   27K  
[   ] z-listp.lisp            03-Apr-2006 15:02  1.8K