Index of /~moore/publications/trecia/support

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile2003-04-03 13:40 599  
[   ]Makefile-generic2003-04-03 13:40 7.1K 
[   ]README2003-04-03 13:37 345  
[   ]certify.lsp2003-04-03 13:37 3.1K 
[   ]defpun.cert2003-04-03 13:42 240  
[   ]defpun.date2003-04-03 13:41 29  
[   ]defpun.lisp2003-04-03 13:37 17K 
[   ]defpun.o2003-04-03 13:42 21K 
[   ]defpun.out2003-04-03 13:42 9.1K 
[   ]demo.acl22003-04-03 13:37 52  
[   ]demo.cert2003-04-03 13:45 7.5K 
[   ]demo.date2003-04-03 13:44 29  
[   ]demo.lisp2003-04-03 13:37 19K 
[   ]demo.o2003-04-03 13:45 12K 
[   ]demo.out2003-04-03 13:45 37K 
[   ]m5.acl22003-04-03 13:37 4.2K 
[   ]m5.cert2003-04-03 13:42 2.3K 
[   ]m5.date2003-04-03 13:42 29  
[   ]m5.lisp2003-04-03 13:37 112K 
[   ]m5.o2003-04-03 13:42 179K 
[   ]m5.out2003-04-03 13:42 53K 
[   ]utilities.acl22003-04-03 13:37 50  
[   ]utilities.cert2003-04-03 13:44 4.7K 
[   ]utilities.date2003-04-03 13:42 29  
[   ]utilities.lisp2003-04-03 13:41 5.6K 
[   ]utilities.o2003-04-03 13:44 2.6K 
[   ]utilities.out2003-04-03 13:44 50K 
[   ]vcg-examples.acl22003-04-03 13:37 59  
[   ]vcg-examples.cert2003-04-03 13:47 7.8K 
[   ]vcg-examples.date2003-04-03 13:45 29  
[   ]vcg-examples.lisp2003-04-03 13:37 33K 
[   ]vcg-examples.o2003-04-03 13:47 15K 
[   ]vcg-examples.out2003-04-03 13:47 73K 

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80