2 var start_time = Date.now ();
4 require("keywords.js"); // not required to be listed as dep.
5 require("coroutine.js"); // not required to be listed as dep.
10 require("interactive.js");
11 require("minibuffer.js"); // depends: interactive.js
12 require("minibuffer-read.js");
13 require("minibuffer-read-option.js");
14 require("minibuffer-completion.js");
15 require("minibuffer-read-file.js");
17 require("spawn-process.js");
19 require("keyboard.js");
22 require("download-manager.js");
25 require("commands.js"); // depends: interactive.js
26 require("webjump.js"); // depends: interactive.js
27 require("history.js");
32 require("element.js");
33 require("follow-relationship.js");
47 require("command-line.js");
49 require("search-engine.js");