1 files changed, 0 insertions, 52 deletions
diff --git a/src/runtime/javascript/minibar/pgf_online.js b/src/runtime/javascript/minibar/pgf_online.js
deleted file mode 100644
index ac6620ee5..000000000
--- a/src/runtime/javascript/minibar/pgf_online.js
+++ /dev/null
@@ -1,52 +0,0 @@
-
-/* --- Grammar access object ------------------------------------------------ */
-
-function pgf_online(options) {
-    var server = {
-	// State variables (private):
-	grammars_url: "/grammars/",
-	grammar_list: null,
-	current_grammar_url: null,
-	
-	// Methods:
-	switch_grammar: function(grammar_url,cont) {
- 	    this.current_grammar_url=this.grammars_url+grammar_url;
-	    if(cont) cont();
-	},
-	get_grammarlist: function(cont) {
-	    http_get_json(this.grammars_url+"grammars.cgi",cont);
-	},
-	pgf_call: function(cmd,args,cont) {
-	    var url=this.current_grammar_url+"?command="+cmd+encodeArgs(args)
-	    http_get_json(url,cont);
-	},
-	
-	get_languages: function(cont) { this.pgf_call("grammar",{},cont); },
-	grammar_info: function(cont) { this.pgf_call("grammar",{},cont); },
-	
-	get_random: function(args,cont) { // cat, limit
-	    args.random=Math.random(); // side effect!!
-	    this.pgf_call("random",args,cont);
-	},
-	linearize: function(args,cont) { // tree, to
-	    this.pgf_call("linearize",args,cont);
-	},
-	complete: function(args,cont) { // from, input, cat, limit
-	    this.pgf_call("complete",args,cont);
-	},
-	parse: function(args,cont) { // from, input, cat
-	    this.pgf_call("parse",args,cont);
-	},
-	translate: function(args,cont) { // from, input, cat, to
-	    this.pgf_call("translate",args,cont);
-	},
-	translategroup: function(args,cont) { // from, input, cat, to
-	    this.pgf_call("translategroup",args,cont);
-	}
-	
-    };
-    for(var o in options) server[o]=options[o];
-    if(server.grammar_list && server.grammar_list.length>0)
-	server.switch_grammar(server.grammar_list[0]);
-    return server;
-}
-\ No newline at end of file