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

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