swish/commit

Updated copied files

authorJan Wielemaker
Mon Mar 4 10:22:03 2019 +0100
committerJan Wielemaker
Mon Mar 4 10:22:03 2019 +0100
commit75e9d3a3dc7aef407c3b5ed93bae66e603c689a0
treeb1f23e8ffba13fedf75b14dfa7dc587f646e09ce
parentfe46baa9482b5048ca2f34ceec8ccdc5e7fc9008
Diff style: stat patch
 examples/Rbasics.swinb                             | 169 +++++++++++++
 examples/Rserve.swinb                              | 169 +++++++++++++
 examples/html_output.swinb                         | 105 ++++++++
 examples/jquery.swinb                              |  24 ++
 examples/md_eval.swinb                             |  35 +++
 examples/render_mathjax.swinb                      |  77 ++++++
 examples/rendering.swinb                           |  13 ++
 examples/swish_tutorials.swinb                     |  39 +++
 lib/swish/authenticate.pl                          |   6 ++
 lib/swish/config.pl                                |   2 +
 lib/swish/examples.pl                              | 235 +++++++++++++++++
 lib/swish/highlight.pl                             |  15 ++
 lib/swish/html_output.pl                           | 229 +++++++++++++++++
 lib/swish/jquery.pl                                |  27 ++
 lib/swish/logging.pl                               |   9 ++
 lib/swish/markdown.pl                              |  14 ++
 lib/swish/md_eval.pl                               | 277 +++++++++++++++++++++
 lib/swish/render/mathjax.pl                        |  78 ++++++
 lib/swish/swish_debug.pl                           |  21 ++
 web/bower_components/codemirror/mode/css/css.js    |  17 ++
 .../codemirror/mode/htmlmixed/htmlmixed.js         |   6 ++
 .../codemirror/mode/javascript/javascript.js       |  82 ++++++
 web/css/swish-min.css                              |   8 ++
 web/css/swish-min.css.gz                           | Bin 55970 -> 56244 bytes
 web/js/require.js                                  |   6 ++
 25 files changed, 1369 insertions(+), 294 deletions(-)