* and reduce corresponding sections in readme * and modify environment docs * and add bibtex support (tentative)
Hosted by CPS Cyber Physical Systems .