diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 15:07:51 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 15:07:51 +0000 |
| commit | 22aeb04704dfe049b428f1649e1b195ae8b1ae27 (patch) | |
| tree | 72085d0be24c49fc23035ef873560237596b0965 /src/www/minibar/minibar.html | |
| parent | d9867893f83c801b37a4fe0acf0fa7289e857031 (diff) | |
minibar_online.js: updated to launch Editor using a GrammarManager object
Diffstat (limited to 'src/www/minibar/minibar.html')
| -rw-r--r-- | src/www/minibar/minibar.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html index e3a6cbdf0..c729561cd 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -27,10 +27,11 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Wed Nov 21 15:50:29 CET 2012 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Fri Nov 23 16:07:35 CET 2012 <!-- hhmts end --> </small> <address> +<script type="text/JavaScript" src="../js/grammar_manager.js"></script> <script type="text/JavaScript" src="../js/support.js"></script> <script type="text/JavaScript" src="minibar.js"></script> <script type="text/JavaScript" src="minibar_input.js"></script> |