| Age | Commit message (Collapse) | Author |
|---|
|
Also include the GF logo on the cloud service start page.
|
|
The new functionality also needs some new PGF service functionality, which will
be provided in a separate patch.
|
|
|
|
The minibar is now displayed inside the editor, intead of on a separate page.
This makes the context clearer and makes it more obiovous how to return to the
editor.
|
|
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
|
