BUGS
CHANGES
codeguide.txt
COPYING
CREDITS
FILES
BINFILES
INSTALL
INSTALL.txt
INSTALL_w32.txt
KEYBINDINGS.txt
LICENSE
Makefile
README
README.txt
TODO
VERSION
planets.1
planets.desktop
planets.png
planets.spec
sqrt.c
uni.9
.depend
getting_started.html
planets.src.spec
*.ml
*.mli