burp_cms 1.3.13 → 1.3.14
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/Rakefile +2 -2
- data/app/assets/images/burp/add-image-2.jpg +0 -0
- data/app/assets/images/burp/add-image-3.jpg +0 -0
- data/app/assets/images/burp/add-image-4.jpg +0 -0
- data/app/assets/images/burp/enter-page-edit-mode-4.jpg +0 -0
- data/app/assets/images/burp/remove-image-2.jpg +0 -0
- data/app/assets/images/burp/remove-image-3.jpg +0 -0
- data/app/assets/images/burp/remove-image-4.jpg +0 -0
- data/app/assets/images/burp/remove-image-5.jpg +0 -0
- data/app/views/burp/static/help.html.erb +8 -8
- data/lib/burp/version.rb +1 -1
- metadata +95 -234
- data/app/assets/images/burp/add-image-2.png +0 -0
- data/app/assets/images/burp/add-image-3.png +0 -0
- data/app/assets/images/burp/add-image-4.png +0 -0
- data/app/assets/images/burp/enter-page-edit-mode-4.png +0 -0
- data/app/assets/images/burp/remove-image-2.png +0 -0
- data/app/assets/images/burp/remove-image-3.png +0 -0
- data/app/assets/images/burp/remove-image-4.png +0 -0
- data/app/assets/images/burp/remove-image-5.png +0 -0
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/README.md +0 -8
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/activeline.html +0 -72
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/changemode.html +0 -50
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/closetag.html +0 -65
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/complete.html +0 -70
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/emacs.html +0 -59
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/folding.html +0 -61
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/formatting.html +0 -80
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/fullscreen.html +0 -152
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/loadmode.html +0 -39
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/marker.html +0 -52
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/matchhighlighter.html +0 -37
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/multiplex.html +0 -59
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/mustache.html +0 -57
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/preview.html +0 -76
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/resize.html +0 -41
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/runmode.html +0 -49
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/search.html +0 -83
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/theme.html +0 -78
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/vim.html +0 -50
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/demo/visibletabs.html +0 -61
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/baboon.png +0 -0
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/baboon_vector.svg +0 -153
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/compress.html +0 -148
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/docs.css +0 -154
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/internals.html +0 -494
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/manual.html +0 -1128
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/oldrelease.html +0 -267
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/reporting.html +0 -57
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/doc/upgrade_v2.2.html +0 -95
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/index.html +0 -417
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/clike.js +0 -271
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/index.html +0 -101
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clike/scala.html +0 -765
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clojure/clojure.js +0 -207
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/clojure/index.html +0 -66
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/LICENSE +0 -22
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/coffeescript.js +0 -347
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/coffeescript/index.html +0 -727
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/diff/diff.js +0 -32
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/diff/index.html +0 -104
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ecl/ecl.js +0 -203
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ecl/index.html +0 -42
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/erlang/erlang.js +0 -251
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/erlang/index.html +0 -61
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/gfm/gfm.js +0 -144
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/gfm/index.html +0 -47
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/go/go.js +0 -170
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/go/index.html +0 -72
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/groovy/groovy.js +0 -210
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/groovy/index.html +0 -71
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/haskell/haskell.js +0 -242
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/haskell/index.html +0 -60
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/jinja2/index.html +0 -37
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/jinja2/jinja2.js +0 -42
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/less/index.html +0 -618
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/less/less.js +0 -232
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/lua/index.html +0 -72
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/lua/lua.js +0 -140
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/mysql/index.html +0 -41
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/mysql/mysql.js +0 -188
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ntriples/index.html +0 -32
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ntriples/ntriples.js +0 -172
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/LICENSE +0 -7
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/index.html +0 -48
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pascal/pascal.js +0 -94
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/LICENSE +0 -19
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/index.html +0 -62
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/perl/perl.js +0 -816
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/php/index.html +0 -48
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/php/php.js +0 -150
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pig/index.html +0 -42
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/pig/pig.js +0 -172
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/plsql/index.html +0 -62
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/plsql/plsql.js +0 -217
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/properties/index.html +0 -40
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/properties/properties.js +0 -63
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/LICENSE.txt +0 -21
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/index.html +0 -122
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/python/python.js +0 -338
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/LICENSE +0 -24
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/index.html +0 -73
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/r/r.js +0 -141
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/changes/changes.js +0 -19
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/changes/index.html +0 -53
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/index.html +0 -99
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/spec.css +0 -5
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rpm/spec/spec.js +0 -66
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rst/index.html +0 -525
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rst/rst.js +0 -326
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/LICENSE +0 -24
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/index.html +0 -171
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/ruby/ruby.js +0 -195
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rust/index.html +0 -48
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/rust/rust.js +0 -432
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/scheme/index.html +0 -64
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/scheme/scheme.js +0 -230
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/shell/index.html +0 -50
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/shell/shell.js +0 -103
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smalltalk/index.html +0 -55
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smalltalk/smalltalk.js +0 -139
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smarty/index.html +0 -82
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/smarty/smarty.js +0 -148
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/sparql/index.html +0 -40
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/sparql/sparql.js +0 -143
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/index.html +0 -95
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/stex.js +0 -182
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/stex/test.html +0 -263
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/index.html +0 -140
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/tiddlywiki.css +0 -14
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiddlywiki/tiddlywiki.js +0 -384
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/index.html +0 -82
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/tiki.css +0 -26
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/tiki/tiki.js +0 -316
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/vbscript/index.html +0 -42
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/vbscript/vbscript.js +0 -26
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/velocity/index.html +0 -103
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/velocity/velocity.js +0 -146
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/verilog/index.html +0 -210
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/verilog/verilog.js +0 -194
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/LICENSE +0 -20
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/index.html +0 -222
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/index.html +0 -27
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testBase.js +0 -42
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testEmptySequenceKeyword.js +0 -16
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testMultiAttr.js +0 -16
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testNamespaces.js +0 -91
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testProcessingInstructions.js +0 -16
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/test/testQuotes.js +0 -19
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/xquery/xquery.js +0 -448
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/yaml/index.html +0 -67
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/mode/yaml/yaml.js +0 -95
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/index.html +0 -28
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/mode_test.css +0 -22
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/mode_test.js +0 -164
- data/app/assets/packages/burp/editing/dep/CodeMirror-2.3/test/test.js +0 -344
- data/app/assets/packages/burp/editing/dep/FontAwesome/FontAwesome-Vectors.pdf +11 -3176
- data/app/assets/packages/burp/editing/dep/FontAwesome/FontAwesome.ttf +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/README.md +0 -18
- data/app/assets/packages/burp/editing/dep/FontAwesome/css/font-awesome-ie7.css +0 -645
- data/app/assets/packages/burp/editing/dep/FontAwesome/css/font-awesome.less +0 -309
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/font-awesome-ie7.css +0 -213
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/font-awesome.css +0 -303
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/prettify.css +0 -30
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/css/site.css +0 -4904
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.eot +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.svg +0 -255
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.ttf +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/fontawesome-webfont.woff +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_300-webfont.eot +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_300-webfont.ttf +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_500-webfont.eot +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/museo_slab_500-webfont.ttf +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/proximanova-webfont.eot +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/font/proximanova-webfont.ttf +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/ico/favicon.ico +0 -0
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/backbone.min.js +0 -37
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/index/index.js +0 -89
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/jquery-1.7.1.min.js +0 -4
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/prettify.min.js +0 -28
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-alert.js +0 -94
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-button.js +0 -98
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-carousel.js +0 -157
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-collapse.js +0 -136
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-dropdown.js +0 -92
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-modal.js +0 -210
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-popover.js +0 -95
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-scrollspy.js +0 -125
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-tab.js +0 -130
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-tooltip.js +0 -270
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-transition.js +0 -51
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/tw-bs-201/bootstrap-typeahead.js +0 -271
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/js/underscore.min.js +0 -31
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-awesome-ie7.less +0 -245
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-awesome.less +0 -327
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/font-site.less +0 -26
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/mixins.less +0 -43
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/site.less +0 -300
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/accordion.less +0 -33
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/alerts.less +0 -58
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/bootstrap.less +0 -62
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/breadcrumbs.less +0 -24
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/button-groups.less +0 -191
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/buttons.less +0 -191
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/carousel.less +0 -121
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/close.less +0 -29
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/code.less +0 -57
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/component-animations.less +0 -20
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/dropdowns.less +0 -143
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/forms.less +0 -584
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/grid.less +0 -5
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/hero-unit.less +0 -22
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/labels-badges.less +0 -55
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/layouts.less +0 -17
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/mixins.less +0 -631
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/modals.less +0 -90
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/navbar.less +0 -364
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/navs.less +0 -363
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/pager.less +0 -36
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/pagination.less +0 -56
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/popovers.less +0 -49
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/progress-bars.less +0 -117
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/reset.less +0 -126
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-1200px-min.less +0 -26
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-767px-max.less +0 -149
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-768px-979px.less +0 -17
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-navbar.less +0 -146
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive-utilities.less +0 -41
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/responsive.less +0 -48
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/scaffolding.less +0 -29
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/sprites.less +0 -191
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/tables.less +0 -176
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/thumbnails.less +0 -47
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/tooltip.less +0 -35
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/type.less +0 -235
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/utilities.less +0 -23
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/variables.less +0 -205
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/twbs-203/wells.less +0 -27
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/assets/less/variables.less +0 -206
- data/app/assets/packages/burp/editing/dep/FontAwesome/docs/index.html +0 -1087
- data/app/assets/packages/burp/editing/dep/FontAwesome/sass/font-awesome.sass +0 -712
- data/app/assets/packages/burp/editing/dep/FontAwesome/sass/font-awesome.scss +0 -329
@@ -1,82 +0,0 @@
|
|
1
|
-
<!doctype html>
|
2
|
-
<html>
|
3
|
-
<head>
|
4
|
-
<title>CodeMirror: Smarty mode</title>
|
5
|
-
<link rel="stylesheet" href="../../lib/codemirror.css">
|
6
|
-
<script src="../../lib/codemirror.js"></script>
|
7
|
-
<script src="smarty.js"></script>
|
8
|
-
<style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
|
9
|
-
<link rel="stylesheet" href="../../doc/docs.css">
|
10
|
-
</head>
|
11
|
-
<body>
|
12
|
-
<h1>CodeMirror: Smarty mode</h1>
|
13
|
-
|
14
|
-
<form><textarea id="code" name="code">
|
15
|
-
{extends file="parent.tpl"}
|
16
|
-
{include file="template.tpl"}
|
17
|
-
|
18
|
-
{* some example Smarty content *}
|
19
|
-
{if isset($name) && $name == 'Blog'}
|
20
|
-
This is a {$var}.
|
21
|
-
{$integer = 451}, {$array[] = "a"}, {$stringvar = "string"}
|
22
|
-
{assign var='bob' value=$var.prop}
|
23
|
-
{elseif $name == $foo}
|
24
|
-
{function name=menu level=0}
|
25
|
-
{foreach $data as $entry}
|
26
|
-
{if is_array($entry)}
|
27
|
-
- {$entry@key}
|
28
|
-
{menu data=$entry level=$level+1}
|
29
|
-
{else}
|
30
|
-
{$entry}
|
31
|
-
{/if}
|
32
|
-
{/foreach}
|
33
|
-
{/function}
|
34
|
-
{/if}</textarea></form>
|
35
|
-
|
36
|
-
<script>
|
37
|
-
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
38
|
-
lineNumbers: true,
|
39
|
-
mode: "smarty"
|
40
|
-
});
|
41
|
-
</script>
|
42
|
-
|
43
|
-
<br />
|
44
|
-
|
45
|
-
<form><textarea id="code2" name="code2">
|
46
|
-
{--extends file="parent.tpl"--}
|
47
|
-
{--include file="template.tpl"--}
|
48
|
-
|
49
|
-
{--* some example Smarty content *--}
|
50
|
-
{--if isset($name) && $name == 'Blog'--}
|
51
|
-
This is a {--$var--}.
|
52
|
-
{--$integer = 451--}, {--$array[] = "a"--}, {--$stringvar = "string"--}
|
53
|
-
{--assign var='bob' value=$var.prop--}
|
54
|
-
{--elseif $name == $foo--}
|
55
|
-
{--function name=menu level=0--}
|
56
|
-
{--foreach $data as $entry--}
|
57
|
-
{--if is_array($entry)--}
|
58
|
-
- {--$entry@key--}
|
59
|
-
{--menu data=$entry level=$level+1--}
|
60
|
-
{--else--}
|
61
|
-
{--$entry--}
|
62
|
-
{--/if--}
|
63
|
-
{--/foreach--}
|
64
|
-
{--/function--}
|
65
|
-
{--/if--}</textarea></form>
|
66
|
-
|
67
|
-
<script>
|
68
|
-
var editor = CodeMirror.fromTextArea(document.getElementById("code2"), {
|
69
|
-
lineNumbers: true,
|
70
|
-
mode: {
|
71
|
-
name: "smarty",
|
72
|
-
leftDelimiter: "{--",
|
73
|
-
rightDelimiter: "--}"
|
74
|
-
}
|
75
|
-
});
|
76
|
-
</script>
|
77
|
-
|
78
|
-
<p>A plain text/Smarty mode which allows for custom delimiter tags (defaults to <b>{</b> and <b>}</b>).</p>
|
79
|
-
|
80
|
-
<p><strong>MIME types defined:</strong> <code>text/x-smarty</code></p>
|
81
|
-
</body>
|
82
|
-
</html>
|
@@ -1,148 +0,0 @@
|
|
1
|
-
CodeMirror.defineMode("smarty", function(config, parserConfig) {
|
2
|
-
var keyFuncs = ["debug", "extends", "function", "include", "literal"];
|
3
|
-
var last;
|
4
|
-
var regs = {
|
5
|
-
operatorChars: /[+\-*&%=<>!?]/,
|
6
|
-
validIdentifier: /[a-zA-Z0-9\_]/,
|
7
|
-
stringChar: /[\'\"]/
|
8
|
-
}
|
9
|
-
var leftDelim = (typeof config.mode.leftDelimiter != 'undefined') ? config.mode.leftDelimiter : "{";
|
10
|
-
var rightDelim = (typeof config.mode.rightDelimiter != 'undefined') ? config.mode.rightDelimiter : "}";
|
11
|
-
function ret(style, lst) { last = lst; return style; }
|
12
|
-
|
13
|
-
|
14
|
-
function tokenizer(stream, state) {
|
15
|
-
function chain(parser) {
|
16
|
-
state.tokenize = parser;
|
17
|
-
return parser(stream, state);
|
18
|
-
}
|
19
|
-
|
20
|
-
if (stream.match(leftDelim, true)) {
|
21
|
-
if (stream.eat("*")) {
|
22
|
-
return chain(inBlock("comment", "*" + rightDelim));
|
23
|
-
}
|
24
|
-
else {
|
25
|
-
state.tokenize = inSmarty;
|
26
|
-
return "tag";
|
27
|
-
}
|
28
|
-
}
|
29
|
-
else {
|
30
|
-
// I'd like to do an eatWhile() here, but I can't get it to eat only up to the rightDelim string/char
|
31
|
-
stream.next();
|
32
|
-
return null;
|
33
|
-
}
|
34
|
-
}
|
35
|
-
|
36
|
-
function inSmarty(stream, state) {
|
37
|
-
if (stream.match(rightDelim, true)) {
|
38
|
-
state.tokenize = tokenizer;
|
39
|
-
return ret("tag", null);
|
40
|
-
}
|
41
|
-
|
42
|
-
var ch = stream.next();
|
43
|
-
if (ch == "$") {
|
44
|
-
stream.eatWhile(regs.validIdentifier);
|
45
|
-
return ret("variable-2", "variable");
|
46
|
-
}
|
47
|
-
else if (ch == ".") {
|
48
|
-
return ret("operator", "property");
|
49
|
-
}
|
50
|
-
else if (regs.stringChar.test(ch)) {
|
51
|
-
state.tokenize = inAttribute(ch);
|
52
|
-
return ret("string", "string");
|
53
|
-
}
|
54
|
-
else if (regs.operatorChars.test(ch)) {
|
55
|
-
stream.eatWhile(regs.operatorChars);
|
56
|
-
return ret("operator", "operator");
|
57
|
-
}
|
58
|
-
else if (ch == "[" || ch == "]") {
|
59
|
-
return ret("bracket", "bracket");
|
60
|
-
}
|
61
|
-
else if (/\d/.test(ch)) {
|
62
|
-
stream.eatWhile(/\d/);
|
63
|
-
return ret("number", "number");
|
64
|
-
}
|
65
|
-
else {
|
66
|
-
if (state.last == "variable") {
|
67
|
-
if (ch == "@") {
|
68
|
-
stream.eatWhile(regs.validIdentifier);
|
69
|
-
return ret("property", "property");
|
70
|
-
}
|
71
|
-
else if (ch == "|") {
|
72
|
-
stream.eatWhile(regs.validIdentifier);
|
73
|
-
return ret("qualifier", "modifier");
|
74
|
-
}
|
75
|
-
}
|
76
|
-
else if (state.last == "whitespace") {
|
77
|
-
stream.eatWhile(regs.validIdentifier);
|
78
|
-
return ret("attribute", "modifier");
|
79
|
-
}
|
80
|
-
else if (state.last == "property") {
|
81
|
-
stream.eatWhile(regs.validIdentifier);
|
82
|
-
return ret("property", null);
|
83
|
-
}
|
84
|
-
else if (/\s/.test(ch)) {
|
85
|
-
last = "whitespace";
|
86
|
-
return null;
|
87
|
-
}
|
88
|
-
|
89
|
-
var str = "";
|
90
|
-
if (ch != "/") {
|
91
|
-
str += ch;
|
92
|
-
}
|
93
|
-
var c = "";
|
94
|
-
while ((c = stream.eat(regs.validIdentifier))) {
|
95
|
-
str += c;
|
96
|
-
}
|
97
|
-
var i, j;
|
98
|
-
for (i=0, j=keyFuncs.length; i<j; i++) {
|
99
|
-
if (keyFuncs[i] == str) {
|
100
|
-
return ret("keyword", "keyword");
|
101
|
-
}
|
102
|
-
}
|
103
|
-
if (/\s/.test(ch)) {
|
104
|
-
return null;
|
105
|
-
}
|
106
|
-
return ret("tag", "tag");
|
107
|
-
}
|
108
|
-
}
|
109
|
-
|
110
|
-
function inAttribute(quote) {
|
111
|
-
return function(stream, state) {
|
112
|
-
while (!stream.eol()) {
|
113
|
-
if (stream.next() == quote) {
|
114
|
-
state.tokenize = inSmarty;
|
115
|
-
break;
|
116
|
-
}
|
117
|
-
}
|
118
|
-
return "string";
|
119
|
-
};
|
120
|
-
}
|
121
|
-
|
122
|
-
function inBlock(style, terminator) {
|
123
|
-
return function(stream, state) {
|
124
|
-
while (!stream.eol()) {
|
125
|
-
if (stream.match(terminator)) {
|
126
|
-
state.tokenize = tokenizer;
|
127
|
-
break;
|
128
|
-
}
|
129
|
-
stream.next();
|
130
|
-
}
|
131
|
-
return style;
|
132
|
-
};
|
133
|
-
}
|
134
|
-
|
135
|
-
return {
|
136
|
-
startState: function() {
|
137
|
-
return { tokenize: tokenizer, mode: "smarty", last: null };
|
138
|
-
},
|
139
|
-
token: function(stream, state) {
|
140
|
-
var style = state.tokenize(stream, state);
|
141
|
-
state.last = last;
|
142
|
-
return style;
|
143
|
-
},
|
144
|
-
electricChars: ""
|
145
|
-
}
|
146
|
-
});
|
147
|
-
|
148
|
-
CodeMirror.defineMIME("text/x-smarty", "smarty");
|
@@ -1,40 +0,0 @@
|
|
1
|
-
<!doctype html>
|
2
|
-
<html>
|
3
|
-
<head>
|
4
|
-
<title>CodeMirror: SPARQL mode</title>
|
5
|
-
<link rel="stylesheet" href="../../lib/codemirror.css">
|
6
|
-
<script src="../../lib/codemirror.js"></script>
|
7
|
-
<script src="sparql.js"></script>
|
8
|
-
<style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
|
9
|
-
<link rel="stylesheet" href="../../doc/docs.css">
|
10
|
-
</head>
|
11
|
-
<body>
|
12
|
-
<h1>CodeMirror: SPARQL mode</h1>
|
13
|
-
<form><textarea id="code" name="code">
|
14
|
-
PREFIX a: <http://www.w3.org/2000/10/annotation-ns#>
|
15
|
-
PREFIX dc: <http://purl.org/dc/elements/1.1/>
|
16
|
-
PREFIX foaf: <http://xmlns.com/foaf/0.1/>
|
17
|
-
|
18
|
-
# Comment!
|
19
|
-
|
20
|
-
SELECT ?given ?family
|
21
|
-
WHERE {
|
22
|
-
?annot a:annotates <http://www.w3.org/TR/rdf-sparql-query/> .
|
23
|
-
?annot dc:creator ?c .
|
24
|
-
OPTIONAL {?c foaf:given ?given ;
|
25
|
-
foaf:family ?family } .
|
26
|
-
FILTER isBlank(?c)
|
27
|
-
}
|
28
|
-
</textarea></form>
|
29
|
-
<script>
|
30
|
-
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
31
|
-
mode: "application/x-sparql-query",
|
32
|
-
tabMode: "indent",
|
33
|
-
matchBrackets: true
|
34
|
-
});
|
35
|
-
</script>
|
36
|
-
|
37
|
-
<p><strong>MIME types defined:</strong> <code>application/x-sparql-query</code>.</p>
|
38
|
-
|
39
|
-
</body>
|
40
|
-
</html>
|
@@ -1,143 +0,0 @@
|
|
1
|
-
CodeMirror.defineMode("sparql", function(config) {
|
2
|
-
var indentUnit = config.indentUnit;
|
3
|
-
var curPunc;
|
4
|
-
|
5
|
-
function wordRegexp(words) {
|
6
|
-
return new RegExp("^(?:" + words.join("|") + ")$", "i");
|
7
|
-
}
|
8
|
-
var ops = wordRegexp(["str", "lang", "langmatches", "datatype", "bound", "sameterm", "isiri", "isuri",
|
9
|
-
"isblank", "isliteral", "union", "a"]);
|
10
|
-
var keywords = wordRegexp(["base", "prefix", "select", "distinct", "reduced", "construct", "describe",
|
11
|
-
"ask", "from", "named", "where", "order", "limit", "offset", "filter", "optional",
|
12
|
-
"graph", "by", "asc", "desc"]);
|
13
|
-
var operatorChars = /[*+\-<>=&|]/;
|
14
|
-
|
15
|
-
function tokenBase(stream, state) {
|
16
|
-
var ch = stream.next();
|
17
|
-
curPunc = null;
|
18
|
-
if (ch == "$" || ch == "?") {
|
19
|
-
stream.match(/^[\w\d]*/);
|
20
|
-
return "variable-2";
|
21
|
-
}
|
22
|
-
else if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {
|
23
|
-
stream.match(/^[^\s\u00a0>]*>?/);
|
24
|
-
return "atom";
|
25
|
-
}
|
26
|
-
else if (ch == "\"" || ch == "'") {
|
27
|
-
state.tokenize = tokenLiteral(ch);
|
28
|
-
return state.tokenize(stream, state);
|
29
|
-
}
|
30
|
-
else if (/[{}\(\),\.;\[\]]/.test(ch)) {
|
31
|
-
curPunc = ch;
|
32
|
-
return null;
|
33
|
-
}
|
34
|
-
else if (ch == "#") {
|
35
|
-
stream.skipToEnd();
|
36
|
-
return "comment";
|
37
|
-
}
|
38
|
-
else if (operatorChars.test(ch)) {
|
39
|
-
stream.eatWhile(operatorChars);
|
40
|
-
return null;
|
41
|
-
}
|
42
|
-
else if (ch == ":") {
|
43
|
-
stream.eatWhile(/[\w\d\._\-]/);
|
44
|
-
return "atom";
|
45
|
-
}
|
46
|
-
else {
|
47
|
-
stream.eatWhile(/[_\w\d]/);
|
48
|
-
if (stream.eat(":")) {
|
49
|
-
stream.eatWhile(/[\w\d_\-]/);
|
50
|
-
return "atom";
|
51
|
-
}
|
52
|
-
var word = stream.current(), type;
|
53
|
-
if (ops.test(word))
|
54
|
-
return null;
|
55
|
-
else if (keywords.test(word))
|
56
|
-
return "keyword";
|
57
|
-
else
|
58
|
-
return "variable";
|
59
|
-
}
|
60
|
-
}
|
61
|
-
|
62
|
-
function tokenLiteral(quote) {
|
63
|
-
return function(stream, state) {
|
64
|
-
var escaped = false, ch;
|
65
|
-
while ((ch = stream.next()) != null) {
|
66
|
-
if (ch == quote && !escaped) {
|
67
|
-
state.tokenize = tokenBase;
|
68
|
-
break;
|
69
|
-
}
|
70
|
-
escaped = !escaped && ch == "\\";
|
71
|
-
}
|
72
|
-
return "string";
|
73
|
-
};
|
74
|
-
}
|
75
|
-
|
76
|
-
function pushContext(state, type, col) {
|
77
|
-
state.context = {prev: state.context, indent: state.indent, col: col, type: type};
|
78
|
-
}
|
79
|
-
function popContext(state) {
|
80
|
-
state.indent = state.context.indent;
|
81
|
-
state.context = state.context.prev;
|
82
|
-
}
|
83
|
-
|
84
|
-
return {
|
85
|
-
startState: function(base) {
|
86
|
-
return {tokenize: tokenBase,
|
87
|
-
context: null,
|
88
|
-
indent: 0,
|
89
|
-
col: 0};
|
90
|
-
},
|
91
|
-
|
92
|
-
token: function(stream, state) {
|
93
|
-
if (stream.sol()) {
|
94
|
-
if (state.context && state.context.align == null) state.context.align = false;
|
95
|
-
state.indent = stream.indentation();
|
96
|
-
}
|
97
|
-
if (stream.eatSpace()) return null;
|
98
|
-
var style = state.tokenize(stream, state);
|
99
|
-
|
100
|
-
if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {
|
101
|
-
state.context.align = true;
|
102
|
-
}
|
103
|
-
|
104
|
-
if (curPunc == "(") pushContext(state, ")", stream.column());
|
105
|
-
else if (curPunc == "[") pushContext(state, "]", stream.column());
|
106
|
-
else if (curPunc == "{") pushContext(state, "}", stream.column());
|
107
|
-
else if (/[\]\}\)]/.test(curPunc)) {
|
108
|
-
while (state.context && state.context.type == "pattern") popContext(state);
|
109
|
-
if (state.context && curPunc == state.context.type) popContext(state);
|
110
|
-
}
|
111
|
-
else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);
|
112
|
-
else if (/atom|string|variable/.test(style) && state.context) {
|
113
|
-
if (/[\}\]]/.test(state.context.type))
|
114
|
-
pushContext(state, "pattern", stream.column());
|
115
|
-
else if (state.context.type == "pattern" && !state.context.align) {
|
116
|
-
state.context.align = true;
|
117
|
-
state.context.col = stream.column();
|
118
|
-
}
|
119
|
-
}
|
120
|
-
|
121
|
-
return style;
|
122
|
-
},
|
123
|
-
|
124
|
-
indent: function(state, textAfter) {
|
125
|
-
var firstChar = textAfter && textAfter.charAt(0);
|
126
|
-
var context = state.context;
|
127
|
-
if (/[\]\}]/.test(firstChar))
|
128
|
-
while (context && context.type == "pattern") context = context.prev;
|
129
|
-
|
130
|
-
var closing = context && firstChar == context.type;
|
131
|
-
if (!context)
|
132
|
-
return 0;
|
133
|
-
else if (context.type == "pattern")
|
134
|
-
return context.col;
|
135
|
-
else if (context.align)
|
136
|
-
return context.col + (closing ? 0 : 1);
|
137
|
-
else
|
138
|
-
return context.indent + (closing ? 0 : indentUnit);
|
139
|
-
}
|
140
|
-
};
|
141
|
-
});
|
142
|
-
|
143
|
-
CodeMirror.defineMIME("application/x-sparql-query", "sparql");
|
@@ -1,95 +0,0 @@
|
|
1
|
-
<!doctype html>
|
2
|
-
<html>
|
3
|
-
<head>
|
4
|
-
<title>CodeMirror: sTeX mode</title>
|
5
|
-
<link rel="stylesheet" href="../../lib/codemirror.css">
|
6
|
-
<script src="../../lib/codemirror.js"></script>
|
7
|
-
<script src="stex.js"></script>
|
8
|
-
<style>.CodeMirror {background: #f8f8f8;}</style>
|
9
|
-
<link rel="stylesheet" href="../../doc/docs.css">
|
10
|
-
</head>
|
11
|
-
<body>
|
12
|
-
<h1>CodeMirror: sTeX mode</h1>
|
13
|
-
<form><textarea id="code" name="code">
|
14
|
-
\begin{module}[id=bbt-size]
|
15
|
-
\importmodule[balanced-binary-trees]{balanced-binary-trees}
|
16
|
-
\importmodule[\KWARCslides{dmath/en/cardinality}]{cardinality}
|
17
|
-
|
18
|
-
\begin{frame}
|
19
|
-
\frametitle{Size Lemma for Balanced Trees}
|
20
|
-
\begin{itemize}
|
21
|
-
\item
|
22
|
-
\begin{assertion}[id=size-lemma,type=lemma]
|
23
|
-
Let $G=\tup{V,E}$ be a \termref[cd=binary-trees]{balanced binary tree}
|
24
|
-
of \termref[cd=graph-depth,name=vertex-depth]{depth}$n>i$, then the set
|
25
|
-
$\defeq{\livar{V}i}{\setst{\inset{v}{V}}{\gdepth{v} = i}}$ of
|
26
|
-
\termref[cd=graphs-intro,name=node]{nodes} at
|
27
|
-
\termref[cd=graph-depth,name=vertex-depth]{depth} $i$ has
|
28
|
-
\termref[cd=cardinality,name=cardinality]{cardinality} $\power2i$.
|
29
|
-
\end{assertion}
|
30
|
-
\item
|
31
|
-
\begin{sproof}[id=size-lemma-pf,proofend=,for=size-lemma]{via induction over the depth $i$.}
|
32
|
-
\begin{spfcases}{We have to consider two cases}
|
33
|
-
\begin{spfcase}{$i=0$}
|
34
|
-
\begin{spfstep}[display=flow]
|
35
|
-
then $\livar{V}i=\set{\livar{v}r}$, where $\livar{v}r$ is the root, so
|
36
|
-
$\eq{\card{\livar{V}0},\card{\set{\livar{v}r}},1,\power20}$.
|
37
|
-
\end{spfstep}
|
38
|
-
\end{spfcase}
|
39
|
-
\begin{spfcase}{$i>0$}
|
40
|
-
\begin{spfstep}[display=flow]
|
41
|
-
then $\livar{V}{i-1}$ contains $\power2{i-1}$ vertexes
|
42
|
-
\begin{justification}[method=byIH](IH)\end{justification}
|
43
|
-
\end{spfstep}
|
44
|
-
\begin{spfstep}
|
45
|
-
By the \begin{justification}[method=byDef]definition of a binary
|
46
|
-
tree\end{justification}, each $\inset{v}{\livar{V}{i-1}}$ is a leaf or has
|
47
|
-
two children that are at depth $i$.
|
48
|
-
\end{spfstep}
|
49
|
-
\begin{spfstep}
|
50
|
-
As $G$ is \termref[cd=balanced-binary-trees,name=balanced-binary-tree]{balanced} and $\gdepth{G}=n>i$, $\livar{V}{i-1}$ cannot contain
|
51
|
-
leaves.
|
52
|
-
\end{spfstep}
|
53
|
-
\begin{spfstep}[type=conclusion]
|
54
|
-
Thus $\eq{\card{\livar{V}i},{\atimes[cdot]{2,\card{\livar{V}{i-1}}}},{\atimes[cdot]{2,\power2{i-1}}},\power2i}$.
|
55
|
-
\end{spfstep}
|
56
|
-
\end{spfcase}
|
57
|
-
\end{spfcases}
|
58
|
-
\end{sproof}
|
59
|
-
\item
|
60
|
-
\begin{assertion}[id=fbbt,type=corollary]
|
61
|
-
A fully balanced tree of depth $d$ has $\power2{d+1}-1$ nodes.
|
62
|
-
\end{assertion}
|
63
|
-
\item
|
64
|
-
\begin{sproof}[for=fbbt,id=fbbt-pf]{}
|
65
|
-
\begin{spfstep}
|
66
|
-
Let $\defeq{G}{\tup{V,E}}$ be a fully balanced tree
|
67
|
-
\end{spfstep}
|
68
|
-
\begin{spfstep}
|
69
|
-
Then $\card{V}=\Sumfromto{i}1d{\power2i}= \power2{d+1}-1$.
|
70
|
-
\end{spfstep}
|
71
|
-
\end{sproof}
|
72
|
-
\end{itemize}
|
73
|
-
\end{frame}
|
74
|
-
\begin{note}
|
75
|
-
\begin{omtext}[type=conclusion,for=binary-tree]
|
76
|
-
This shows that balanced binary trees grow in breadth very quickly, a consequence of
|
77
|
-
this is that they are very shallow (and this compute very fast), which is the essence of
|
78
|
-
the next result.
|
79
|
-
\end{omtext}
|
80
|
-
\end{note}
|
81
|
-
\end{module}
|
82
|
-
|
83
|
-
%%% Local Variables:
|
84
|
-
%%% mode: LaTeX
|
85
|
-
%%% TeX-master: "all"
|
86
|
-
%%% End: \end{document}
|
87
|
-
</textarea></form>
|
88
|
-
<script>
|
89
|
-
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
|
90
|
-
</script>
|
91
|
-
|
92
|
-
<p><strong>MIME types defined:</strong> <code>text/x-stex</code>.</p>
|
93
|
-
|
94
|
-
</body>
|
95
|
-
</html>
|
@@ -1,182 +0,0 @@
|
|
1
|
-
/*
|
2
|
-
* Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)
|
3
|
-
* Licence: MIT
|
4
|
-
*/
|
5
|
-
|
6
|
-
CodeMirror.defineMode("stex", function(cmCfg, modeCfg)
|
7
|
-
{
|
8
|
-
function pushCommand(state, command) {
|
9
|
-
state.cmdState.push(command);
|
10
|
-
}
|
11
|
-
|
12
|
-
function peekCommand(state) {
|
13
|
-
if (state.cmdState.length>0)
|
14
|
-
return state.cmdState[state.cmdState.length-1];
|
15
|
-
else
|
16
|
-
return null;
|
17
|
-
}
|
18
|
-
|
19
|
-
function popCommand(state) {
|
20
|
-
if (state.cmdState.length>0) {
|
21
|
-
var plug = state.cmdState.pop();
|
22
|
-
plug.closeBracket();
|
23
|
-
}
|
24
|
-
}
|
25
|
-
|
26
|
-
function applyMostPowerful(state) {
|
27
|
-
var context = state.cmdState;
|
28
|
-
for (var i = context.length - 1; i >= 0; i--) {
|
29
|
-
var plug = context[i];
|
30
|
-
if (plug.name=="DEFAULT")
|
31
|
-
continue;
|
32
|
-
return plug.styleIdentifier();
|
33
|
-
}
|
34
|
-
return null;
|
35
|
-
}
|
36
|
-
|
37
|
-
function addPluginPattern(pluginName, cmdStyle, brackets, styles) {
|
38
|
-
return function () {
|
39
|
-
this.name=pluginName;
|
40
|
-
this.bracketNo = 0;
|
41
|
-
this.style=cmdStyle;
|
42
|
-
this.styles = styles;
|
43
|
-
this.brackets = brackets;
|
44
|
-
|
45
|
-
this.styleIdentifier = function(content) {
|
46
|
-
if (this.bracketNo<=this.styles.length)
|
47
|
-
return this.styles[this.bracketNo-1];
|
48
|
-
else
|
49
|
-
return null;
|
50
|
-
};
|
51
|
-
this.openBracket = function(content) {
|
52
|
-
this.bracketNo++;
|
53
|
-
return "bracket";
|
54
|
-
};
|
55
|
-
this.closeBracket = function(content) {
|
56
|
-
};
|
57
|
-
}
|
58
|
-
}
|
59
|
-
|
60
|
-
var plugins = new Array();
|
61
|
-
|
62
|
-
plugins["importmodule"] = addPluginPattern("importmodule", "tag", "{[", ["string", "builtin"]);
|
63
|
-
plugins["documentclass"] = addPluginPattern("documentclass", "tag", "{[", ["", "atom"]);
|
64
|
-
plugins["usepackage"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
|
65
|
-
plugins["begin"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
|
66
|
-
plugins["end"] = addPluginPattern("documentclass", "tag", "[", ["atom"]);
|
67
|
-
|
68
|
-
plugins["DEFAULT"] = function () {
|
69
|
-
this.name="DEFAULT";
|
70
|
-
this.style="tag";
|
71
|
-
|
72
|
-
this.styleIdentifier = function(content) {
|
73
|
-
};
|
74
|
-
this.openBracket = function(content) {
|
75
|
-
};
|
76
|
-
this.closeBracket = function(content) {
|
77
|
-
};
|
78
|
-
};
|
79
|
-
|
80
|
-
function setState(state, f) {
|
81
|
-
state.f = f;
|
82
|
-
}
|
83
|
-
|
84
|
-
function normal(source, state) {
|
85
|
-
if (source.match(/^\\[a-zA-Z@]+/)) {
|
86
|
-
var cmdName = source.current();
|
87
|
-
cmdName = cmdName.substr(1, cmdName.length-1);
|
88
|
-
var plug;
|
89
|
-
if (plugins.hasOwnProperty(cmdName)) {
|
90
|
-
plug = plugins[cmdName];
|
91
|
-
} else {
|
92
|
-
plug = plugins["DEFAULT"];
|
93
|
-
}
|
94
|
-
plug = new plug();
|
95
|
-
pushCommand(state, plug);
|
96
|
-
setState(state, beginParams);
|
97
|
-
return plug.style;
|
98
|
-
}
|
99
|
-
|
100
|
-
// escape characters
|
101
|
-
if (source.match(/^\\[$&%#{}_]/)) {
|
102
|
-
return "tag";
|
103
|
-
}
|
104
|
-
|
105
|
-
// white space control characters
|
106
|
-
if (source.match(/^\\[,;!\/]/)) {
|
107
|
-
return "tag";
|
108
|
-
}
|
109
|
-
|
110
|
-
var ch = source.next();
|
111
|
-
if (ch == "%") {
|
112
|
-
// special case: % at end of its own line; stay in same state
|
113
|
-
if (!source.eol()) {
|
114
|
-
setState(state, inCComment);
|
115
|
-
}
|
116
|
-
return "comment";
|
117
|
-
}
|
118
|
-
else if (ch=='}' || ch==']') {
|
119
|
-
plug = peekCommand(state);
|
120
|
-
if (plug) {
|
121
|
-
plug.closeBracket(ch);
|
122
|
-
setState(state, beginParams);
|
123
|
-
} else
|
124
|
-
return "error";
|
125
|
-
return "bracket";
|
126
|
-
} else if (ch=='{' || ch=='[') {
|
127
|
-
plug = plugins["DEFAULT"];
|
128
|
-
plug = new plug();
|
129
|
-
pushCommand(state, plug);
|
130
|
-
return "bracket";
|
131
|
-
}
|
132
|
-
else if (/\d/.test(ch)) {
|
133
|
-
source.eatWhile(/[\w.%]/);
|
134
|
-
return "atom";
|
135
|
-
}
|
136
|
-
else {
|
137
|
-
source.eatWhile(/[\w-_]/);
|
138
|
-
return applyMostPowerful(state);
|
139
|
-
}
|
140
|
-
}
|
141
|
-
|
142
|
-
function inCComment(source, state) {
|
143
|
-
source.skipToEnd();
|
144
|
-
setState(state, normal);
|
145
|
-
return "comment";
|
146
|
-
}
|
147
|
-
|
148
|
-
function beginParams(source, state) {
|
149
|
-
var ch = source.peek();
|
150
|
-
if (ch == '{' || ch == '[') {
|
151
|
-
var lastPlug = peekCommand(state);
|
152
|
-
var style = lastPlug.openBracket(ch);
|
153
|
-
source.eat(ch);
|
154
|
-
setState(state, normal);
|
155
|
-
return "bracket";
|
156
|
-
}
|
157
|
-
if (/[ \t\r]/.test(ch)) {
|
158
|
-
source.eat(ch);
|
159
|
-
return null;
|
160
|
-
}
|
161
|
-
setState(state, normal);
|
162
|
-
lastPlug = peekCommand(state);
|
163
|
-
if (lastPlug) {
|
164
|
-
popCommand(state);
|
165
|
-
}
|
166
|
-
return normal(source, state);
|
167
|
-
}
|
168
|
-
|
169
|
-
return {
|
170
|
-
startState: function() { return { f:normal, cmdState:[] }; },
|
171
|
-
copyState: function(s) { return { f: s.f, cmdState: s.cmdState.slice(0, s.cmdState.length) }; },
|
172
|
-
|
173
|
-
token: function(stream, state) {
|
174
|
-
var t = state.f(stream, state);
|
175
|
-
var w = stream.current();
|
176
|
-
return t;
|
177
|
-
}
|
178
|
-
};
|
179
|
-
});
|
180
|
-
|
181
|
-
|
182
|
-
CodeMirror.defineMIME("text/x-stex", "stex");
|