diff --git a/LICENSE b/LICENSE
index 0d9b3b48f..3d8c94fe9 100644
--- a/LICENSE
+++ b/LICENSE
@@ -48,7 +48,7 @@ License version 2:
The following file is from the jquery project, distributed under the
following license:
- scripts/jquery.slim.min.js
+ scripts/jquery.slim.js
Copyright JS Foundation and other contributors, https://js.foundation/
@@ -76,8 +76,8 @@ following license:
The following files are from the jstree project, distributed under the
following license:
- scripts/jstree.min.js
- scripts/jstree.style.min.css
+ scripts/jstree.js
+ scripts/jstree.style.css
scripts/32px.png
scripts/40px.png
scripts/throbber.gif
diff --git a/browser/term_to_html.m b/browser/term_to_html.m
index a8cb0ffaa..d6bff99fd 100644
--- a/browser/term_to_html.m
+++ b/browser/term_to_html.m
@@ -92,9 +92,9 @@ make_file_url_prefix(Path0, FilePrefix) :-
header(FilePrefix) = [
"\n",
- "\n",
- "\n",
- "\n",
+ "\n",
+ "\n",
+ "\n",
"\n",
"\n",
diff --git a/scripts/Mmakefile b/scripts/Mmakefile
index cb376273d..1c1d61472 100644
--- a/scripts/Mmakefile
+++ b/scripts/Mmakefile
@@ -57,9 +57,9 @@ DEBUGGER_SCRIPTS = $(CONF_DEBUG_SCRIPTS) \
mdb_track \
mdb_term_browser.js \
mdb_term_browser.css \
- jquery.slim.min.js \
- jstree.min.js \
- jstree.style.min.css \
+ jquery.slim.js \
+ jstree.js \
+ jstree.style.css \
32px.png \
40px.png \
throbber.gif
diff --git a/scripts/jquery.slim.js b/scripts/jquery.slim.js
new file mode 100644
index 000000000..5dae0ed4e
--- /dev/null
+++ b/scripts/jquery.slim.js
@@ -0,0 +1,8269 @@
+/*!
+ * jQuery JavaScript Library v3.3.1 -ajax,-ajax/jsonp,-ajax/load,-ajax/parseXML,-ajax/script,-ajax/var/location,-ajax/var/nonce,-ajax/var/rquery,-ajax/xhr,-manipulation/_evalUrl,-event/ajax,-effects,-effects/Tween,-effects/animatedSelector
+ * https://jquery.com/
+ *
+ * Includes Sizzle.js
+ * https://sizzlejs.com/
+ *
+ * Copyright JS Foundation and other contributors
+ * Released under the MIT license
+ * https://jquery.org/license
+ *
+ * Date: 2018-01-20T17:24Z
+ */
+( function( global, factory ) {
+
+ "use strict";
+
+ if ( typeof module === "object" && typeof module.exports === "object" ) {
+
+ // For CommonJS and CommonJS-like environments where a proper `window`
+ // is present, execute the factory and get jQuery.
+ // For environments that do not have a `window` with a `document`
+ // (such as Node.js), expose a factory as module.exports.
+ // This accentuates the need for the creation of a real `window`.
+ // e.g. var jQuery = require("jquery")(window);
+ // See ticket #14549 for more info.
+ module.exports = global.document ?
+ factory( global, true ) :
+ function( w ) {
+ if ( !w.document ) {
+ throw new Error( "jQuery requires a window with a document" );
+ }
+ return factory( w );
+ };
+ } else {
+ factory( global );
+ }
+
+// Pass this if window is not defined yet
+} )( typeof window !== "undefined" ? window : this, function( window, noGlobal ) {
+
+// Edge <= 12 - 13+, Firefox <=18 - 45+, IE 10 - 11, Safari 5.1 - 9+, iOS 6 - 9.1
+// throw exceptions when non-strict code (e.g., ASP.NET 4.5) accesses strict mode
+// arguments.callee.caller (trac-13335). But as of jQuery 3.0 (2016), strict mode should be common
+// enough that all such attempts are guarded in a try block.
+"use strict";
+
+var arr = [];
+
+var document = window.document;
+
+var getProto = Object.getPrototypeOf;
+
+var slice = arr.slice;
+
+var concat = arr.concat;
+
+var push = arr.push;
+
+var indexOf = arr.indexOf;
+
+var class2type = {};
+
+var toString = class2type.toString;
+
+var hasOwn = class2type.hasOwnProperty;
+
+var fnToString = hasOwn.toString;
+
+var ObjectFunctionString = fnToString.call( Object );
+
+var support = {};
+
+var isFunction = function isFunction( obj ) {
+
+ // Support: Chrome <=57, Firefox <=52
+ // In some browsers, typeof returns "function" for HTML