Index of /~moore/acl2/older-releases/v3-0/distrib/acl2-sources/books/unicode

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]z-listp.lisp.gz2006-04-03 15:02 822  
[   ]utf8.lisp.gz2006-04-03 15:02 6.3K 
[   ]utf8-table36.lisp.gz2006-04-03 15:02 2.7K 
[   ]utf8-table35.lisp.gz2006-04-03 15:02 2.7K 
[   ]utf8-encode.lisp.gz2006-04-03 15:02 2.3K 
[   ]utf8-decode.lisp.gz2006-04-03 15:02 8.0K 
[   ]utf8-decode-string.lisp.gz2006-04-03 15:02 830  
[   ]update-state.lisp.gz2006-04-03 15:02 2.8K 
[   ]unsigned-byte-listp.lisp.gz2006-04-03 15:02 1.7K 
[   ]uchar.lisp.gz2006-04-03 15:02 6.3K 
[DIR]test-performance/2014-07-30 10:03 -  
[   ]take.lisp.gz2006-04-03 15:02 1.0K 
[   ]take-bytes.lisp.gz2006-04-03 15:02 912  
[   ]sum-list.lisp.gz2006-04-03 15:02 816  
[   ]string-append.lisp.gz2006-04-03 15:02 670  
[   ]signed-byte-listp.lisp.gz2006-04-03 15:02 1.3K 
[   ]sign-byte.lisp.gz2006-04-03 15:02 1.0K 
[   ]reverse.lisp.gz2006-04-03 15:02 686  
[   ]revappend.lisp.gz2006-04-03 15:02 1.2K 
[   ]repeat.lisp.gz2006-04-03 15:02 689  
[   ]read-utf8.lisp.gz2006-04-03 15:02 4.2K 
[   ]read-object.lisp.gz2006-04-03 15:02 800  
[   ]read-ints.lisp.gz2006-04-03 15:02 4.4K 
[   ]read-file-characters.lisp.gz2006-04-03 15:02 1.3K 
[   ]read-file-bytes.lisp.gz2006-04-03 15:02 1.4K 
[   ]read-char.lisp.gz2006-04-03 15:02 1.0K 
[   ]read-byte.lisp.gz2006-04-03 15:02 1.3K 
[   ]pos-listp.lisp.gz2006-04-03 15:02 797  
[   ]peek-char.lisp.gz2006-04-03 15:02 814  
[   ]partition.lisp.gz2006-04-03 15:02 1.0K 
[   ]open-input-channels.lisp.gz2006-04-03 15:02 2.4K 
[   ]open-input-channel.lisp.gz2006-04-03 15:02 2.1K 
[   ]nthcdr.lisp.gz2006-04-03 15:02 1.0K 
[   ]nthcdr-bytes.lisp.gz2006-04-03 15:02 1.0K 
[   ]nat-listp.lisp.gz2006-04-03 15:02 795  
[   ]list-fix.lisp.gz2006-04-03 15:02 797  
[   ]intern-in-package-of-symbol.lisp.gz2006-04-03 15:02 741  
[   ]flatten.lisp.gz2006-04-03 15:02 776  
[   ]file-measure.lisp.gz2006-04-03 15:02 1.0K 
[   ]explode-nonnegative-integer.lisp.gz2006-04-07 07:35 1.8K 
[   ]explode-atom.lisp.gz2006-04-03 15:02 869  
[   ]consless-listp.lisp.gz2006-04-03 15:02 796  
[   ]combine.lisp.gz2006-04-03 15:02 1.0K 
[   ]coerce.lisp.gz2006-04-03 15:02 765  
[   ]close-input-channel.lisp.gz2006-04-03 15:02 1.3K 
[   ]base10-digit-charp.lisp.gz2006-04-03 15:02 953  
[   ]append.lisp.gz2006-04-03 15:02 1.0K 
[   ]app.lisp.gz2006-04-03 15:02 1.1K 
[   ]Makefile.gz2006-05-18 09:45 1.3K 

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