From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 12 Oct 2011 17:03:54 +0000 Subject: 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. --- src/www/gfse/P/1306856253_weather_06.png | Bin 0 -> 2311 bytes src/www/gfse/P/1307545089_weather_04.png | Bin 0 -> 2376 bytes src/www/gfse/P/w1s.jpg | Bin 0 -> 26163 bytes src/www/gfse/P/w2s.jpg | Bin 0 -> 25953 bytes src/www/gfse/P/w3s.jpg | Bin 0 -> 29664 bytes src/www/gfse/P/w4s.jpg | Bin 0 -> 22005 bytes 6 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 src/www/gfse/P/1306856253_weather_06.png create mode 100644 src/www/gfse/P/1307545089_weather_04.png create mode 100644 src/www/gfse/P/w1s.jpg create mode 100644 src/www/gfse/P/w2s.jpg create mode 100644 src/www/gfse/P/w3s.jpg create mode 100644 src/www/gfse/P/w4s.jpg (limited to 'src/www/gfse/P') diff --git a/src/www/gfse/P/1306856253_weather_06.png b/src/www/gfse/P/1306856253_weather_06.png new file mode 100644 index 000000000..3f01afcaa Binary files /dev/null and b/src/www/gfse/P/1306856253_weather_06.png differ diff --git a/src/www/gfse/P/1307545089_weather_04.png b/src/www/gfse/P/1307545089_weather_04.png new file mode 100644 index 000000000..8a7f1e3ae Binary files /dev/null and b/src/www/gfse/P/1307545089_weather_04.png differ diff --git a/src/www/gfse/P/w1s.jpg b/src/www/gfse/P/w1s.jpg new file mode 100644 index 000000000..199fcb7ba Binary files /dev/null and b/src/www/gfse/P/w1s.jpg differ diff --git a/src/www/gfse/P/w2s.jpg b/src/www/gfse/P/w2s.jpg new file mode 100644 index 000000000..9673758c0 Binary files /dev/null and b/src/www/gfse/P/w2s.jpg differ diff --git a/src/www/gfse/P/w3s.jpg b/src/www/gfse/P/w3s.jpg new file mode 100644 index 000000000..1a8680ec7 Binary files /dev/null and b/src/www/gfse/P/w3s.jpg differ diff --git a/src/www/gfse/P/w4s.jpg b/src/www/gfse/P/w4s.jpg new file mode 100644 index 000000000..5c685c134 Binary files /dev/null and b/src/www/gfse/P/w4s.jpg differ -- cgit v1.2.3