We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.

Some package managers require full versions alongside minified, and they can be

dropped in here, if necessary.

origins of our minified js:

prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2

jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.min.js

jQueryUI-1.8.14: generated by https://jqueryui.com/download

And their unminified counterparts:

prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2

jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.js

jQueryUI-1.8.14: https://github.com/jquery/jquery-ui/tarball/1.8.14