Index of /~moore/acl2/older-releases/v4-3/distrib/acl2-sources/books/unicode

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]z-listp.lisp.gz2010-09-20 19:29 819  
[   ]utf8-table36.lisp.gz2010-09-20 19:29 2.7K 
[   ]utf8-table35.lisp.gz2010-09-20 19:29 2.6K 
[   ]utf8-encode.lisp.gz2010-09-20 19:29 2.3K 
[   ]utf8-decode.lisp.gz2010-09-20 19:29 7.9K 
[   ]update-state.lisp.gz2010-09-20 19:29 2.9K 
[   ]unsigned-byte-listp.lisp.gz2010-09-20 19:29 1.7K 
[   ]uchar.lisp.gz2010-09-20 19:29 6.3K 
[   ]two-nats-measure.lisp.gz2010-09-20 19:29 1.2K 
[DIR]test-performance/2014-08-04 08:29 -  
[   ]take.lisp.gz2011-01-28 16:18 1.0K 
[   ]take-bytes.lisp.gz2010-09-20 19:29 913  
[   ]sum-list.lisp.gz2010-09-20 19:29 816  
[   ]string-append.lisp.gz2010-09-20 19:29 670  
[   ]signed-byte-listp.lisp.gz2010-09-20 19:29 1.3K 
[   ]sign-byte.lisp.gz2010-09-20 19:29 1.0K 
[   ]reverse.lisp.gz2010-09-20 19:29 682  
[   ]revappend.lisp.gz2011-01-28 16:18 1.2K 
[   ]rev.lisp.gz2010-09-20 19:29 1.1K 
[   ]repeat.lisp.gz2010-09-20 19:29 1.1K 
[   ]read-utf8.lisp.gz2010-09-20 19:29 4.2K 
[   ]read-object.lisp.gz2011-02-14 07:58 853  
[   ]read-ints.lisp.gz2010-09-20 19:29 4.3K 
[   ]read-file-objects.lisp.gz2010-09-20 19:29 1.4K 
[   ]read-file-characters.lisp.gz2010-09-20 19:29 1.6K 
[   ]read-file-bytes.lisp.gz2010-09-20 19:29 1.4K 
[   ]read-char.lisp.gz2011-02-14 07:58 1.1K 
[   ]read-byte.lisp.gz2011-02-14 07:58 1.4K 
[   ]prefixp.lisp.gz2010-09-20 19:29 956  
[   ]peek-char.lisp.gz2011-02-14 07:58 877  
[   ]partition.lisp.gz2010-09-20 19:29 1.0K 
[   ]open-input-channels.lisp.gz2011-04-23 11:50 2.4K 
[   ]open-input-channel.lisp.gz2011-02-14 07:58 2.1K 
[   ]nthcdr.lisp.gz2010-09-24 09:24 1.3K 
[   ]nthcdr-bytes.lisp.gz2010-09-20 19:29 1.1K 
[   ]nat-listp.lisp.gz2010-09-20 19:29 804  
[   ]list-fix.lisp.gz2011-01-28 16:18 1.0K 
[   ]list-defuns.lisp.gz2010-09-20 19:29 1.1K 
[   ]intern-in-package-of-symbol.lisp.gz2010-09-20 19:29 740  
[   ]flatten.lisp.gz2010-09-20 19:29 911  
[   ]file-measure.lisp.gz2011-02-14 07:58 1.2K 
[   ]explode-nonnegative-integer.lisp.gz2011-01-28 16:18 2.5K 
[   ]explode-atom.lisp.gz2010-09-20 19:29 915  
[   ]consless-listp.lisp.gz2010-09-20 19:29 794  
[   ]combine.lisp.gz2010-09-20 19:29 1.0K 
[   ]coerce.lisp.gz2010-09-20 19:29 765  
[   ]close-input-channel.lisp.gz2011-02-14 07:58 1.3K 
[   ]base10-digit-charp.lisp.gz2010-09-20 19:29 970  
[   ]append.lisp.gz2011-01-28 16:18 1.0K 
[   ]app.lisp.gz2011-01-28 16:18 1.2K 
[   ]Makefile.gz2010-09-20 19:29 67  

Apache/2.4.62 (Ubuntu) Server at www.cs.utexas.edu Port 443