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/editor/simple/share.html | |
| 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/editor/simple/share.html')
| -rw-r--r-- | src/editor/simple/share.html | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/editor/simple/share.html b/src/editor/simple/share.html deleted file mode 100644 index 643d298ba..000000000 --- a/src/editor/simple/share.html +++ /dev/null @@ -1,27 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> -<html> <head> -<title>Download from Grammar Cloud</title> -<link rel="stylesheet" type="text/css" href="editor.css" title="Cloud"> -<link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO"> - -</head> - -<body> -<h1><img src="P/1307545048_weather_09.png" alt="">Download from Grammar Cloud</h1> - -<pre id=debug></pre> - -<hr> -<address></address> -<!-- hhmts start --> Last modified: Mon Aug 1 16:24:44 CEST 2011 <!-- hhmts end --> -<script type="text/javascript" src="support.js"></script> -<script type="text/javascript" src="localstorage.js"></script> -<script type="text/javascript" src="gf_abs.js"></script> -<script type="text/javascript" src="editor.js"></script> -<script type="text/javascript" src="cloud.js"></script> -<script type="text/javascript" src="sort.js"></script> -<script type="text/javascript"> -download_from_cloud(); -</script> -</body> -</html> |