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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] test-performance/       01-May-2009 11:09    -   
[   ] Makefile                13-Oct-2008 14:02   51   
[   ] app.lisp                23-Feb-2009 09:54  3.8K  
[   ] append.lisp             13-Oct-2008 14:02  2.5K  
[   ] base10-digit-charp.lisp 11-Feb-2009 08:19  2.6K  
[   ] close-input-channel...> 13-Oct-2008 14:02  3.9K  
[   ] coerce.lisp             13-Oct-2008 14:02  2.1K  
[   ] combine.lisp            13-Oct-2008 14:02  4.0K  
[   ] consless-listp.lisp     13-Oct-2008 14:02  1.9K  
[   ] explode-atom.lisp       11-Feb-2009 08:19  2.3K  
[   ] explode-nonnegative-..> 11-Feb-2009 08:19   10K  
[   ] file-measure.lisp       13-Oct-2008 14:02  3.9K  
[   ] flatten.lisp            13-Oct-2008 14:02  1.6K  
[   ] intern-in-package-of..> 13-Oct-2008 14:02  1.7K  
[   ] list-fix.lisp           26-Mar-2009 22:35  2.3K  
[   ] nat-listp.lisp          13-Oct-2008 14:02  1.8K  
[   ] nthcdr-bytes.lisp       13-Oct-2008 14:02  4.4K  
[   ] nthcdr.lisp             23-Feb-2009 09:54  2.9K  
[   ] open-input-channel.lisp 13-Oct-2008 14:02   10K  
[   ] open-input-channels...> 13-Oct-2008 14:02  7.7K  
[   ] partition.lisp          13-Oct-2008 14:02  2.7K  
[   ] peek-char.lisp          13-Oct-2008 14:02  1.8K  
[   ] prefixp.lisp            23-Feb-2009 09:54  2.3K  
[   ] read-byte.lisp          13-Oct-2008 14:02  6.7K  
[   ] read-char.lisp          13-Oct-2008 14:02  3.4K  
[   ] read-file-bytes.lisp    13-Oct-2008 14:02  7.0K  
[   ] read-file-characters..> 13-Oct-2008 14:02  5.9K  
[   ] read-file-objects.lisp  13-Oct-2008 14:02  5.9K  
[   ] read-ints.lisp          13-Oct-2008 14:02   40K  
[   ] read-object.lisp        13-Oct-2008 14:02  2.1K  
[   ] read-utf8.lisp          13-Oct-2008 14:02   26K  
[   ] repeat.lisp             13-Nov-2008 13:23  2.4K  
[   ] rev.lisp                13-Oct-2008 14:02  2.5K  
[   ] revappend.lisp          13-Oct-2008 14:02  4.1K  
[   ] reverse.lisp            13-Oct-2008 14:02  1.4K  
[   ] sign-byte.lisp          13-Oct-2008 14:02  2.6K  
[   ] signed-byte-listp.lisp  13-Oct-2008 14:02  4.3K  
[   ] string-append.lisp      13-Oct-2008 14:02  1.4K  
[   ] sum-list.lisp           13-Oct-2008 14:02  1.8K  
[   ] take-bytes.lisp         13-Oct-2008 14:02  2.8K  
[   ] take.lisp               13-Oct-2008 14:02  2.8K  
[   ] uchar.lisp              13-Oct-2008 14:02   19K  
[   ] unsigned-byte-listp...> 13-Oct-2008 14:02  7.1K  
[   ] update-state.lisp       13-Oct-2008 14:02   32K  
[   ] utf8-decode.lisp        13-Oct-2008 14:02   51K  
[   ] utf8-encode.lisp        13-Oct-2008 14:02  7.1K  
[   ] utf8-table35.lisp       13-Oct-2008 14:02   13K  
[   ] utf8-table36.lisp       13-Oct-2008 14:02   17K  
[   ] z-listp.lisp            13-Oct-2008 14:02  1.8K