DIKU-DevStudio/PerseQ — pull request #7 by ioanabalas (2012-03-12 15:06:41+00:00)
Title: Interface

Added the gui_v1.html, the google-prettify library and updated references.