====================== Ghestalt documentation ====================== introduction ~~~~~~~~~~~~ Ghestalt is a web-based interface to formalized mathematics knowledge based on the Metamath family of systems (including GHilbert). requirements ~~~~~~~~~~~~ - Python >= 2.4 - Django > 0.95 (with newforms) (see Django installation guide: http://www.djangoproject.com/documentation/install/). It should be good with svn trunk (as of revision 4276) - A database (postgres+psycopg2 or psycopg, sqlite3, mysql or other Django supported) installation ~~~~~~~~~~~~ - Install Python, Django and your database. - Open Ghestalt files in ~/django/ghestalt . - Customize local_settings.py. Example local_settings.py for sqlite3 and postgresql can be found at /local_settings-*.py - Run ./manage syncdb in ~/django/ghestalt directory - Run ./manage runserver 8000 - Point browser at http://localhost:8000 You can also install Ghestalt to be served by apache/modpython. /docs/ghestalt.conf is a sample apache2 configuration file used while testing this method. acknowledgements ~~~~~~~~~~~~~~~~~ People, projects with significant involvement in this project: - raph (originator), norm, ocat, dan - Django and Django based Satchmo, Diamandas. thanks.