diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/www/gfse/P | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"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.
Diffstat (limited to 'src/www/gfse/P')
| -rw-r--r-- | src/www/gfse/P/1306856253_weather_06.png | bin | 0 -> 2311 bytes |
| -rw-r--r-- | src/www/gfse/P/1307545089_weather_04.png | bin | 0 -> 2376 bytes |
| -rw-r--r-- | src/www/gfse/P/w1s.jpg | bin | 0 -> 26163 bytes |
| -rw-r--r-- | src/www/gfse/P/w2s.jpg | bin | 0 -> 25953 bytes |
| -rw-r--r-- | src/www/gfse/P/w3s.jpg | bin | 0 -> 29664 bytes |
| -rw-r--r-- | src/www/gfse/P/w4s.jpg | bin | 0 -> 22005 bytes |
6 files changed, 0 insertions, 0 deletions
diff --git a/src/www/gfse/P/1306856253_weather_06.png b/src/www/gfse/P/1306856253_weather_06.png Binary files differnew file mode 100644 index 000000000..3f01afcaa --- /dev/null +++ b/src/www/gfse/P/1306856253_weather_06.png diff --git a/src/www/gfse/P/1307545089_weather_04.png b/src/www/gfse/P/1307545089_weather_04.png Binary files differnew file mode 100644 index 000000000..8a7f1e3ae --- /dev/null +++ b/src/www/gfse/P/1307545089_weather_04.png diff --git a/src/www/gfse/P/w1s.jpg b/src/www/gfse/P/w1s.jpg Binary files differnew file mode 100644 index 000000000..199fcb7ba --- /dev/null +++ b/src/www/gfse/P/w1s.jpg diff --git a/src/www/gfse/P/w2s.jpg b/src/www/gfse/P/w2s.jpg Binary files differnew file mode 100644 index 000000000..9673758c0 --- /dev/null +++ b/src/www/gfse/P/w2s.jpg diff --git a/src/www/gfse/P/w3s.jpg b/src/www/gfse/P/w3s.jpg Binary files differnew file mode 100644 index 000000000..1a8680ec7 --- /dev/null +++ b/src/www/gfse/P/w3s.jpg diff --git a/src/www/gfse/P/w4s.jpg b/src/www/gfse/P/w4s.jpg Binary files differnew file mode 100644 index 000000000..5c685c134 --- /dev/null +++ b/src/www/gfse/P/w4s.jpg |
