.gitignore
revise proc/README
merge