DSM-PAGES web pages in dsm at www-solid. This repository is for the web pages about the softwares in Geller's group.