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/editor/simple/P/1306856253_weather_06.png | Bin 2311 -> 0 bytes src/editor/simple/P/1307545089_weather_04.png | Bin 2376 -> 0 bytes src/editor/simple/P/w1s.jpg | Bin 26163 -> 0 bytes src/editor/simple/P/w2s.jpg | Bin 25953 -> 0 bytes src/editor/simple/P/w3s.jpg | Bin 29664 -> 0 bytes src/editor/simple/P/w4s.jpg | Bin 22005 -> 0 bytes 6 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/editor/simple/P/1306856253_weather_06.png delete mode 100644 src/editor/simple/P/1307545089_weather_04.png delete mode 100644 src/editor/simple/P/w1s.jpg delete mode 100644 src/editor/simple/P/w2s.jpg delete mode 100644 src/editor/simple/P/w3s.jpg delete mode 100644 src/editor/simple/P/w4s.jpg (limited to 'src/editor/simple/P') diff --git a/src/editor/simple/P/1306856253_weather_06.png b/src/editor/simple/P/1306856253_weather_06.png deleted file mode 100644 index 3f01afcaa..000000000 Binary files a/src/editor/simple/P/1306856253_weather_06.png and /dev/null differ diff --git a/src/editor/simple/P/1307545089_weather_04.png b/src/editor/simple/P/1307545089_weather_04.png deleted file mode 100644 index 8a7f1e3ae..000000000 Binary files a/src/editor/simple/P/1307545089_weather_04.png and /dev/null differ diff --git a/src/editor/simple/P/w1s.jpg b/src/editor/simple/P/w1s.jpg deleted file mode 100644 index 199fcb7ba..000000000 Binary files a/src/editor/simple/P/w1s.jpg and /dev/null differ diff --git a/src/editor/simple/P/w2s.jpg b/src/editor/simple/P/w2s.jpg deleted file mode 100644 index 9673758c0..000000000 Binary files a/src/editor/simple/P/w2s.jpg and /dev/null differ diff --git a/src/editor/simple/P/w3s.jpg b/src/editor/simple/P/w3s.jpg deleted file mode 100644 index 1a8680ec7..000000000 Binary files a/src/editor/simple/P/w3s.jpg and /dev/null differ diff --git a/src/editor/simple/P/w4s.jpg b/src/editor/simple/P/w4s.jpg deleted file mode 100644 index 5c685c134..000000000 Binary files a/src/editor/simple/P/w4s.jpg and /dev/null differ -- cgit v1.2.3