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/runtime/javascript/minibar/minibar.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/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html deleted file mode 100644 index 086b8fad6..000000000 --- a/src/runtime/javascript/minibar/minibar.html +++ /dev/null @@ -1,41 +0,0 @@ -<!DOCTYPE html> -<html> -<head> -<title>Minibar</title> -<link rel=stylesheet type="text/css" href="minibar.css"> - -<meta name = "viewport" content = "width = device-width"> -<meta charset="UTF-8"> - -</head> - -<body> -<h2>Minibar online</h2> -<div id=minibar></div> - -<noscript>This page doesn't works unless JavaScript is enabled.</noscript> - -<hr> - -<small> -[<a href="about.html">About Minibar</a> -| <a href="http://www.grammaticalframework.org:41296/fridge/">Original Fridge Poetry</a> -& <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] -</small> -<small class=modtime> -HTML <!-- hhmts start --> Last modified: Mon Aug 8 18:04:22 CEST 2011 <!-- hhmts end --> -</small> -<address> -<a href="http://www.cse.chalmers.se/~hallgren/">TH</a> -<img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""></address> - -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="minibar.js"></script> -<script type="text/JavaScript" src="minibar_input.js"></script> -<script type="text/JavaScript" src="minibar_translations.js"></script> -<script type="text/JavaScript" src="minibar_support.js"></script> -<script type="text/JavaScript" src="pgf_online.js"></script> -<script type="text/javascript" src="minibar_online.js"></script> - -</body> -</html> |