/BUGS/1.1.1.1/Thu Apr 22 17:32:14 1999//
/announce.text/1.1.1.1/Thu Apr 22 17:32:14 1999//
/flick-guts.README/1.1.1.1/Thu Apr 22 17:32:14 1999//
/flick-pldi97.ps/1.1.1.1/Thu Apr 22 17:32:14 1999//
/headers.ps/1.1.1.1/Thu Apr 22 17:32:22 1999//
/headers.tex/1.1.1.1/Thu Apr 22 17:32:25 1999//
D/flick-guts////
D/usersguide////
D/volkmar////
