wallaby 7.0.0.beta2 → 7.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (423) hide show
  1. checksums.yaml +4 -4
  2. data/app/assets/stylesheets/wallaby/base/_override_vars.scss +3 -0
  3. data/app/assets/stylesheets/wallaby/base.scss +2 -1
  4. data/lib/wallaby/version.rb +1 -1
  5. metadata +21 -434
  6. data/config/brakeman.ignore +0 -26
  7. data/config/massa.yml +0 -45
  8. data/config/rails_best_practices.yml +0 -42
  9. data/vendor/assets/javascripts/codemirror/5.49.2/addon/comment/comment.js +0 -209
  10. data/vendor/assets/javascripts/codemirror/5.49.2/addon/comment/continuecomment.js +0 -113
  11. data/vendor/assets/javascripts/codemirror/5.49.2/addon/dialog/dialog.css +0 -32
  12. data/vendor/assets/javascripts/codemirror/5.49.2/addon/dialog/dialog.js +0 -161
  13. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/autorefresh.js +0 -47
  14. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/fullscreen.css +0 -6
  15. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/fullscreen.js +0 -41
  16. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/panel.js +0 -127
  17. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/placeholder.js +0 -63
  18. data/vendor/assets/javascripts/codemirror/5.49.2/addon/display/rulers.js +0 -51
  19. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/closebrackets.js +0 -191
  20. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/closetag.js +0 -184
  21. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/continuelist.js +0 -99
  22. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/matchbrackets.js +0 -150
  23. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/matchtags.js +0 -66
  24. data/vendor/assets/javascripts/codemirror/5.49.2/addon/edit/trailingspace.js +0 -27
  25. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/brace-fold.js +0 -105
  26. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/comment-fold.js +0 -59
  27. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/foldcode.js +0 -152
  28. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/foldgutter.css +0 -20
  29. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/foldgutter.js +0 -163
  30. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/indent-fold.js +0 -48
  31. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/markdown-fold.js +0 -49
  32. data/vendor/assets/javascripts/codemirror/5.49.2/addon/fold/xml-fold.js +0 -184
  33. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/anyword-hint.js +0 -41
  34. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/css-hint.js +0 -60
  35. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/html-hint.js +0 -350
  36. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/javascript-hint.js +0 -157
  37. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/show-hint.css +0 -36
  38. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/show-hint.js +0 -460
  39. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/sql-hint.js +0 -304
  40. data/vendor/assets/javascripts/codemirror/5.49.2/addon/hint/xml-hint.js +0 -123
  41. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/coffeescript-lint.js +0 -47
  42. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/css-lint.js +0 -40
  43. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/html-lint.js +0 -59
  44. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/javascript-lint.js +0 -63
  45. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/json-lint.js +0 -40
  46. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/lint.css +0 -73
  47. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/lint.js +0 -252
  48. data/vendor/assets/javascripts/codemirror/5.49.2/addon/lint/yaml-lint.js +0 -41
  49. data/vendor/assets/javascripts/codemirror/5.49.2/addon/merge/merge.css +0 -119
  50. data/vendor/assets/javascripts/codemirror/5.49.2/addon/merge/merge.js +0 -1002
  51. data/vendor/assets/javascripts/codemirror/5.49.2/addon/mode/loadmode.js +0 -64
  52. data/vendor/assets/javascripts/codemirror/5.49.2/addon/mode/multiplex.js +0 -131
  53. data/vendor/assets/javascripts/codemirror/5.49.2/addon/mode/multiplex_test.js +0 -33
  54. data/vendor/assets/javascripts/codemirror/5.49.2/addon/mode/overlay.js +0 -90
  55. data/vendor/assets/javascripts/codemirror/5.49.2/addon/mode/simple.js +0 -216
  56. data/vendor/assets/javascripts/codemirror/5.49.2/addon/runmode/colorize.js +0 -40
  57. data/vendor/assets/javascripts/codemirror/5.49.2/addon/runmode/runmode-standalone.js +0 -158
  58. data/vendor/assets/javascripts/codemirror/5.49.2/addon/runmode/runmode.js +0 -72
  59. data/vendor/assets/javascripts/codemirror/5.49.2/addon/runmode/runmode.node.js +0 -197
  60. data/vendor/assets/javascripts/codemirror/5.49.2/addon/scroll/annotatescrollbar.js +0 -122
  61. data/vendor/assets/javascripts/codemirror/5.49.2/addon/scroll/scrollpastend.js +0 -48
  62. data/vendor/assets/javascripts/codemirror/5.49.2/addon/scroll/simplescrollbars.css +0 -66
  63. data/vendor/assets/javascripts/codemirror/5.49.2/addon/scroll/simplescrollbars.js +0 -152
  64. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/jump-to-line.js +0 -50
  65. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/match-highlighter.js +0 -165
  66. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/matchesonscrollbar.css +0 -8
  67. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/matchesonscrollbar.js +0 -97
  68. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/search.js +0 -260
  69. data/vendor/assets/javascripts/codemirror/5.49.2/addon/search/searchcursor.js +0 -293
  70. data/vendor/assets/javascripts/codemirror/5.49.2/addon/selection/active-line.js +0 -72
  71. data/vendor/assets/javascripts/codemirror/5.49.2/addon/selection/mark-selection.js +0 -119
  72. data/vendor/assets/javascripts/codemirror/5.49.2/addon/selection/selection-pointer.js +0 -98
  73. data/vendor/assets/javascripts/codemirror/5.49.2/addon/tern/tern.css +0 -87
  74. data/vendor/assets/javascripts/codemirror/5.49.2/addon/tern/tern.js +0 -718
  75. data/vendor/assets/javascripts/codemirror/5.49.2/addon/tern/worker.js +0 -44
  76. data/vendor/assets/javascripts/codemirror/5.49.2/addon/wrap/hardwrap.js +0 -145
  77. data/vendor/assets/javascripts/codemirror/5.49.2/lib/codemirror.js +0 -9783
  78. data/vendor/assets/javascripts/codemirror/5.49.2/mode/apl/apl.js +0 -174
  79. data/vendor/assets/javascripts/codemirror/5.49.2/mode/apl/index.html +0 -72
  80. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asciiarmor/asciiarmor.js +0 -74
  81. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asciiarmor/index.html +0 -46
  82. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asn.1/asn.1.js +0 -204
  83. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asn.1/index.html +0 -78
  84. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asterisk/asterisk.js +0 -220
  85. data/vendor/assets/javascripts/codemirror/5.49.2/mode/asterisk/index.html +0 -155
  86. data/vendor/assets/javascripts/codemirror/5.49.2/mode/brainfuck/brainfuck.js +0 -85
  87. data/vendor/assets/javascripts/codemirror/5.49.2/mode/brainfuck/index.html +0 -85
  88. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clike/clike.js +0 -935
  89. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clike/index.html +0 -380
  90. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clike/scala.html +0 -767
  91. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clike/test.js +0 -165
  92. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clojure/clojure.js +0 -292
  93. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clojure/index.html +0 -95
  94. data/vendor/assets/javascripts/codemirror/5.49.2/mode/clojure/test.js +0 -384
  95. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cmake/cmake.js +0 -97
  96. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cmake/index.html +0 -129
  97. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cobol/cobol.js +0 -255
  98. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cobol/index.html +0 -210
  99. data/vendor/assets/javascripts/codemirror/5.49.2/mode/coffeescript/coffeescript.js +0 -359
  100. data/vendor/assets/javascripts/codemirror/5.49.2/mode/coffeescript/index.html +0 -740
  101. data/vendor/assets/javascripts/codemirror/5.49.2/mode/commonlisp/commonlisp.js +0 -124
  102. data/vendor/assets/javascripts/codemirror/5.49.2/mode/commonlisp/index.html +0 -177
  103. data/vendor/assets/javascripts/codemirror/5.49.2/mode/crystal/crystal.js +0 -433
  104. data/vendor/assets/javascripts/codemirror/5.49.2/mode/crystal/index.html +0 -116
  105. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/css.js +0 -831
  106. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/gss.html +0 -104
  107. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/gss_test.js +0 -17
  108. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/index.html +0 -75
  109. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/less.html +0 -152
  110. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/less_test.js +0 -54
  111. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/scss.html +0 -158
  112. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/scss_test.js +0 -110
  113. data/vendor/assets/javascripts/codemirror/5.49.2/mode/css/test.js +0 -217
  114. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cypher/cypher.js +0 -150
  115. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cypher/index.html +0 -64
  116. data/vendor/assets/javascripts/codemirror/5.49.2/mode/cypher/test.js +0 -37
  117. data/vendor/assets/javascripts/codemirror/5.49.2/mode/d/d.js +0 -223
  118. data/vendor/assets/javascripts/codemirror/5.49.2/mode/d/index.html +0 -273
  119. data/vendor/assets/javascripts/codemirror/5.49.2/mode/d/test.js +0 -11
  120. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dart/dart.js +0 -166
  121. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dart/index.html +0 -71
  122. data/vendor/assets/javascripts/codemirror/5.49.2/mode/diff/diff.js +0 -47
  123. data/vendor/assets/javascripts/codemirror/5.49.2/mode/diff/index.html +0 -117
  124. data/vendor/assets/javascripts/codemirror/5.49.2/mode/django/django.js +0 -356
  125. data/vendor/assets/javascripts/codemirror/5.49.2/mode/django/index.html +0 -73
  126. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dockerfile/dockerfile.js +0 -211
  127. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dockerfile/index.html +0 -73
  128. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dockerfile/test.js +0 -128
  129. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dtd/dtd.js +0 -142
  130. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dtd/index.html +0 -89
  131. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dylan/dylan.js +0 -352
  132. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dylan/index.html +0 -407
  133. data/vendor/assets/javascripts/codemirror/5.49.2/mode/dylan/test.js +0 -88
  134. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ebnf/ebnf.js +0 -195
  135. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ebnf/index.html +0 -102
  136. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ecl/ecl.js +0 -206
  137. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ecl/index.html +0 -52
  138. data/vendor/assets/javascripts/codemirror/5.49.2/mode/eiffel/eiffel.js +0 -160
  139. data/vendor/assets/javascripts/codemirror/5.49.2/mode/eiffel/index.html +0 -429
  140. data/vendor/assets/javascripts/codemirror/5.49.2/mode/elm/elm.js +0 -205
  141. data/vendor/assets/javascripts/codemirror/5.49.2/mode/elm/index.html +0 -61
  142. data/vendor/assets/javascripts/codemirror/5.49.2/mode/erlang/erlang.js +0 -619
  143. data/vendor/assets/javascripts/codemirror/5.49.2/mode/erlang/index.html +0 -76
  144. data/vendor/assets/javascripts/codemirror/5.49.2/mode/factor/factor.js +0 -85
  145. data/vendor/assets/javascripts/codemirror/5.49.2/mode/factor/index.html +0 -77
  146. data/vendor/assets/javascripts/codemirror/5.49.2/mode/fcl/fcl.js +0 -173
  147. data/vendor/assets/javascripts/codemirror/5.49.2/mode/fcl/index.html +0 -108
  148. data/vendor/assets/javascripts/codemirror/5.49.2/mode/forth/forth.js +0 -180
  149. data/vendor/assets/javascripts/codemirror/5.49.2/mode/forth/index.html +0 -75
  150. data/vendor/assets/javascripts/codemirror/5.49.2/mode/fortran/fortran.js +0 -188
  151. data/vendor/assets/javascripts/codemirror/5.49.2/mode/fortran/index.html +0 -81
  152. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gas/gas.js +0 -345
  153. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gas/index.html +0 -68
  154. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gfm/gfm.js +0 -129
  155. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gfm/index.html +0 -136
  156. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gfm/test.js +0 -198
  157. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gherkin/gherkin.js +0 -178
  158. data/vendor/assets/javascripts/codemirror/5.49.2/mode/gherkin/index.html +0 -48
  159. data/vendor/assets/javascripts/codemirror/5.49.2/mode/go/go.js +0 -187
  160. data/vendor/assets/javascripts/codemirror/5.49.2/mode/go/index.html +0 -85
  161. data/vendor/assets/javascripts/codemirror/5.49.2/mode/groovy/groovy.js +0 -233
  162. data/vendor/assets/javascripts/codemirror/5.49.2/mode/groovy/index.html +0 -84
  163. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haml/haml.js +0 -161
  164. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haml/index.html +0 -79
  165. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haml/test.js +0 -97
  166. data/vendor/assets/javascripts/codemirror/5.49.2/mode/handlebars/handlebars.js +0 -70
  167. data/vendor/assets/javascripts/codemirror/5.49.2/mode/handlebars/index.html +0 -82
  168. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haskell/haskell.js +0 -268
  169. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haskell/index.html +0 -73
  170. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haskell-literate/haskell-literate.js +0 -43
  171. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haskell-literate/index.html +0 -282
  172. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haxe/haxe.js +0 -515
  173. data/vendor/assets/javascripts/codemirror/5.49.2/mode/haxe/index.html +0 -124
  174. data/vendor/assets/javascripts/codemirror/5.49.2/mode/htmlembedded/htmlembedded.js +0 -37
  175. data/vendor/assets/javascripts/codemirror/5.49.2/mode/htmlembedded/index.html +0 -60
  176. data/vendor/assets/javascripts/codemirror/5.49.2/mode/htmlmixed/htmlmixed.js +0 -152
  177. data/vendor/assets/javascripts/codemirror/5.49.2/mode/htmlmixed/index.html +0 -100
  178. data/vendor/assets/javascripts/codemirror/5.49.2/mode/http/http.js +0 -113
  179. data/vendor/assets/javascripts/codemirror/5.49.2/mode/http/index.html +0 -45
  180. data/vendor/assets/javascripts/codemirror/5.49.2/mode/idl/idl.js +0 -290
  181. data/vendor/assets/javascripts/codemirror/5.49.2/mode/idl/index.html +0 -65
  182. data/vendor/assets/javascripts/codemirror/5.49.2/mode/index.html +0 -165
  183. data/vendor/assets/javascripts/codemirror/5.49.2/mode/javascript/index.html +0 -114
  184. data/vendor/assets/javascripts/codemirror/5.49.2/mode/javascript/javascript.js +0 -930
  185. data/vendor/assets/javascripts/codemirror/5.49.2/mode/javascript/json-ld.html +0 -72
  186. data/vendor/assets/javascripts/codemirror/5.49.2/mode/javascript/test.js +0 -513
  187. data/vendor/assets/javascripts/codemirror/5.49.2/mode/javascript/typescript.html +0 -62
  188. data/vendor/assets/javascripts/codemirror/5.49.2/mode/jinja2/index.html +0 -54
  189. data/vendor/assets/javascripts/codemirror/5.49.2/mode/jinja2/jinja2.js +0 -146
  190. data/vendor/assets/javascripts/codemirror/5.49.2/mode/jsx/index.html +0 -89
  191. data/vendor/assets/javascripts/codemirror/5.49.2/mode/jsx/jsx.js +0 -148
  192. data/vendor/assets/javascripts/codemirror/5.49.2/mode/jsx/test.js +0 -91
  193. data/vendor/assets/javascripts/codemirror/5.49.2/mode/julia/index.html +0 -196
  194. data/vendor/assets/javascripts/codemirror/5.49.2/mode/julia/julia.js +0 -429
  195. data/vendor/assets/javascripts/codemirror/5.49.2/mode/livescript/index.html +0 -459
  196. data/vendor/assets/javascripts/codemirror/5.49.2/mode/livescript/livescript.js +0 -280
  197. data/vendor/assets/javascripts/codemirror/5.49.2/mode/lua/index.html +0 -85
  198. data/vendor/assets/javascripts/codemirror/5.49.2/mode/lua/lua.js +0 -159
  199. data/vendor/assets/javascripts/codemirror/5.49.2/mode/markdown/index.html +0 -412
  200. data/vendor/assets/javascripts/codemirror/5.49.2/mode/markdown/markdown.js +0 -883
  201. data/vendor/assets/javascripts/codemirror/5.49.2/mode/markdown/test.js +0 -1317
  202. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mathematica/index.html +0 -72
  203. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mathematica/mathematica.js +0 -176
  204. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mbox/index.html +0 -44
  205. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mbox/mbox.js +0 -129
  206. data/vendor/assets/javascripts/codemirror/5.49.2/mode/meta.js +0 -219
  207. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mirc/index.html +0 -161
  208. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mirc/mirc.js +0 -193
  209. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mllike/index.html +0 -198
  210. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mllike/mllike.js +0 -359
  211. data/vendor/assets/javascripts/codemirror/5.49.2/mode/modelica/index.html +0 -67
  212. data/vendor/assets/javascripts/codemirror/5.49.2/mode/modelica/modelica.js +0 -245
  213. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mscgen/index.html +0 -151
  214. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mscgen/mscgen.js +0 -175
  215. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mscgen/mscgen_test.js +0 -84
  216. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mscgen/msgenny_test.js +0 -77
  217. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mscgen/xu_test.js +0 -87
  218. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mumps/index.html +0 -85
  219. data/vendor/assets/javascripts/codemirror/5.49.2/mode/mumps/mumps.js +0 -148
  220. data/vendor/assets/javascripts/codemirror/5.49.2/mode/nginx/index.html +0 -181
  221. data/vendor/assets/javascripts/codemirror/5.49.2/mode/nginx/nginx.js +0 -178
  222. data/vendor/assets/javascripts/codemirror/5.49.2/mode/nsis/index.html +0 -80
  223. data/vendor/assets/javascripts/codemirror/5.49.2/mode/nsis/nsis.js +0 -95
  224. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ntriples/index.html +0 -70
  225. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ntriples/ntriples.js +0 -195
  226. data/vendor/assets/javascripts/codemirror/5.49.2/mode/octave/index.html +0 -84
  227. data/vendor/assets/javascripts/codemirror/5.49.2/mode/octave/octave.js +0 -139
  228. data/vendor/assets/javascripts/codemirror/5.49.2/mode/oz/index.html +0 -59
  229. data/vendor/assets/javascripts/codemirror/5.49.2/mode/oz/oz.js +0 -252
  230. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pascal/index.html +0 -61
  231. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pascal/pascal.js +0 -121
  232. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pegjs/index.html +0 -66
  233. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pegjs/pegjs.js +0 -114
  234. data/vendor/assets/javascripts/codemirror/5.49.2/mode/perl/index.html +0 -75
  235. data/vendor/assets/javascripts/codemirror/5.49.2/mode/perl/perl.js +0 -837
  236. data/vendor/assets/javascripts/codemirror/5.49.2/mode/php/index.html +0 -64
  237. data/vendor/assets/javascripts/codemirror/5.49.2/mode/php/php.js +0 -234
  238. data/vendor/assets/javascripts/codemirror/5.49.2/mode/php/test.js +0 -154
  239. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pig/index.html +0 -53
  240. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pig/pig.js +0 -178
  241. data/vendor/assets/javascripts/codemirror/5.49.2/mode/powershell/index.html +0 -205
  242. data/vendor/assets/javascripts/codemirror/5.49.2/mode/powershell/powershell.js +0 -398
  243. data/vendor/assets/javascripts/codemirror/5.49.2/mode/powershell/test.js +0 -74
  244. data/vendor/assets/javascripts/codemirror/5.49.2/mode/properties/index.html +0 -53
  245. data/vendor/assets/javascripts/codemirror/5.49.2/mode/properties/properties.js +0 -78
  246. data/vendor/assets/javascripts/codemirror/5.49.2/mode/protobuf/index.html +0 -104
  247. data/vendor/assets/javascripts/codemirror/5.49.2/mode/protobuf/protobuf.js +0 -69
  248. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pug/index.html +0 -70
  249. data/vendor/assets/javascripts/codemirror/5.49.2/mode/pug/pug.js +0 -591
  250. data/vendor/assets/javascripts/codemirror/5.49.2/mode/puppet/index.html +0 -121
  251. data/vendor/assets/javascripts/codemirror/5.49.2/mode/puppet/puppet.js +0 -220
  252. data/vendor/assets/javascripts/codemirror/5.49.2/mode/python/index.html +0 -207
  253. data/vendor/assets/javascripts/codemirror/5.49.2/mode/python/python.js +0 -399
  254. data/vendor/assets/javascripts/codemirror/5.49.2/mode/python/test.js +0 -44
  255. data/vendor/assets/javascripts/codemirror/5.49.2/mode/q/index.html +0 -144
  256. data/vendor/assets/javascripts/codemirror/5.49.2/mode/q/q.js +0 -139
  257. data/vendor/assets/javascripts/codemirror/5.49.2/mode/r/index.html +0 -88
  258. data/vendor/assets/javascripts/codemirror/5.49.2/mode/r/r.js +0 -190
  259. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rpm/changes/index.html +0 -66
  260. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rpm/index.html +0 -149
  261. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rpm/rpm.js +0 -109
  262. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rst/index.html +0 -535
  263. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rst/rst.js +0 -557
  264. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ruby/index.html +0 -183
  265. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ruby/ruby.js +0 -298
  266. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ruby/test.js +0 -23
  267. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rust/index.html +0 -64
  268. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rust/rust.js +0 -72
  269. data/vendor/assets/javascripts/codemirror/5.49.2/mode/rust/test.js +0 -39
  270. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sas/index.html +0 -81
  271. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sas/sas.js +0 -303
  272. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sass/index.html +0 -68
  273. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sass/sass.js +0 -454
  274. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sass/test.js +0 -122
  275. data/vendor/assets/javascripts/codemirror/5.49.2/mode/scheme/index.html +0 -77
  276. data/vendor/assets/javascripts/codemirror/5.49.2/mode/scheme/scheme.js +0 -265
  277. data/vendor/assets/javascripts/codemirror/5.49.2/mode/shell/index.html +0 -66
  278. data/vendor/assets/javascripts/codemirror/5.49.2/mode/shell/shell.js +0 -152
  279. data/vendor/assets/javascripts/codemirror/5.49.2/mode/shell/test.js +0 -73
  280. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sieve/index.html +0 -93
  281. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sieve/sieve.js +0 -193
  282. data/vendor/assets/javascripts/codemirror/5.49.2/mode/slim/index.html +0 -96
  283. data/vendor/assets/javascripts/codemirror/5.49.2/mode/slim/slim.js +0 -575
  284. data/vendor/assets/javascripts/codemirror/5.49.2/mode/slim/test.js +0 -96
  285. data/vendor/assets/javascripts/codemirror/5.49.2/mode/smalltalk/index.html +0 -68
  286. data/vendor/assets/javascripts/codemirror/5.49.2/mode/smalltalk/smalltalk.js +0 -168
  287. data/vendor/assets/javascripts/codemirror/5.49.2/mode/smarty/index.html +0 -138
  288. data/vendor/assets/javascripts/codemirror/5.49.2/mode/smarty/smarty.js +0 -225
  289. data/vendor/assets/javascripts/codemirror/5.49.2/mode/solr/index.html +0 -57
  290. data/vendor/assets/javascripts/codemirror/5.49.2/mode/solr/solr.js +0 -104
  291. data/vendor/assets/javascripts/codemirror/5.49.2/mode/soy/index.html +0 -68
  292. data/vendor/assets/javascripts/codemirror/5.49.2/mode/soy/soy.js +0 -437
  293. data/vendor/assets/javascripts/codemirror/5.49.2/mode/soy/test.js +0 -204
  294. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sparql/index.html +0 -61
  295. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sparql/sparql.js +0 -180
  296. data/vendor/assets/javascripts/codemirror/5.49.2/mode/spreadsheet/index.html +0 -42
  297. data/vendor/assets/javascripts/codemirror/5.49.2/mode/spreadsheet/spreadsheet.js +0 -112
  298. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sql/index.html +0 -89
  299. data/vendor/assets/javascripts/codemirror/5.49.2/mode/sql/sql.js +0 -494
  300. data/vendor/assets/javascripts/codemirror/5.49.2/mode/stex/index.html +0 -116
  301. data/vendor/assets/javascripts/codemirror/5.49.2/mode/stex/stex.js +0 -264
  302. data/vendor/assets/javascripts/codemirror/5.49.2/mode/stex/test.js +0 -132
  303. data/vendor/assets/javascripts/codemirror/5.49.2/mode/stylus/index.html +0 -106
  304. data/vendor/assets/javascripts/codemirror/5.49.2/mode/stylus/stylus.js +0 -771
  305. data/vendor/assets/javascripts/codemirror/5.49.2/mode/swift/index.html +0 -70
  306. data/vendor/assets/javascripts/codemirror/5.49.2/mode/swift/swift.js +0 -223
  307. data/vendor/assets/javascripts/codemirror/5.49.2/mode/swift/test.js +0 -162
  308. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tcl/index.html +0 -142
  309. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tcl/tcl.js +0 -139
  310. data/vendor/assets/javascripts/codemirror/5.49.2/mode/textile/index.html +0 -191
  311. data/vendor/assets/javascripts/codemirror/5.49.2/mode/textile/test.js +0 -417
  312. data/vendor/assets/javascripts/codemirror/5.49.2/mode/textile/textile.js +0 -469
  313. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiddlywiki/index.html +0 -154
  314. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiddlywiki/tiddlywiki.css +0 -14
  315. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiddlywiki/tiddlywiki.js +0 -308
  316. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiki/index.html +0 -95
  317. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiki/tiki.css +0 -26
  318. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tiki/tiki.js +0 -312
  319. data/vendor/assets/javascripts/codemirror/5.49.2/mode/toml/index.html +0 -73
  320. data/vendor/assets/javascripts/codemirror/5.49.2/mode/toml/toml.js +0 -88
  321. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tornado/index.html +0 -63
  322. data/vendor/assets/javascripts/codemirror/5.49.2/mode/tornado/tornado.js +0 -68
  323. data/vendor/assets/javascripts/codemirror/5.49.2/mode/troff/index.html +0 -146
  324. data/vendor/assets/javascripts/codemirror/5.49.2/mode/troff/troff.js +0 -84
  325. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ttcn/index.html +0 -119
  326. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ttcn/ttcn.js +0 -283
  327. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ttcn-cfg/index.html +0 -116
  328. data/vendor/assets/javascripts/codemirror/5.49.2/mode/ttcn-cfg/ttcn-cfg.js +0 -214
  329. data/vendor/assets/javascripts/codemirror/5.49.2/mode/turtle/index.html +0 -51
  330. data/vendor/assets/javascripts/codemirror/5.49.2/mode/turtle/turtle.js +0 -162
  331. data/vendor/assets/javascripts/codemirror/5.49.2/mode/twig/index.html +0 -45
  332. data/vendor/assets/javascripts/codemirror/5.49.2/mode/twig/twig.js +0 -141
  333. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vb/index.html +0 -49
  334. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vb/vb.js +0 -275
  335. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vbscript/index.html +0 -55
  336. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vbscript/vbscript.js +0 -350
  337. data/vendor/assets/javascripts/codemirror/5.49.2/mode/velocity/index.html +0 -120
  338. data/vendor/assets/javascripts/codemirror/5.49.2/mode/velocity/velocity.js +0 -201
  339. data/vendor/assets/javascripts/codemirror/5.49.2/mode/verilog/index.html +0 -120
  340. data/vendor/assets/javascripts/codemirror/5.49.2/mode/verilog/test.js +0 -273
  341. data/vendor/assets/javascripts/codemirror/5.49.2/mode/verilog/verilog.js +0 -675
  342. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vhdl/index.html +0 -95
  343. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vhdl/vhdl.js +0 -189
  344. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vue/index.html +0 -69
  345. data/vendor/assets/javascripts/codemirror/5.49.2/mode/vue/vue.js +0 -77
  346. data/vendor/assets/javascripts/codemirror/5.49.2/mode/webidl/index.html +0 -71
  347. data/vendor/assets/javascripts/codemirror/5.49.2/mode/webidl/webidl.js +0 -195
  348. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xml/index.html +0 -61
  349. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xml/test.js +0 -51
  350. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xml/xml.js +0 -413
  351. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xquery/index.html +0 -211
  352. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xquery/test.js +0 -67
  353. data/vendor/assets/javascripts/codemirror/5.49.2/mode/xquery/xquery.js +0 -448
  354. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yacas/index.html +0 -87
  355. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yacas/yacas.js +0 -204
  356. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yaml/index.html +0 -80
  357. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yaml/yaml.js +0 -120
  358. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yaml-frontmatter/index.html +0 -121
  359. data/vendor/assets/javascripts/codemirror/5.49.2/mode/yaml-frontmatter/yaml-frontmatter.js +0 -68
  360. data/vendor/assets/javascripts/codemirror/5.49.2/mode/z80/index.html +0 -53
  361. data/vendor/assets/javascripts/codemirror/5.49.2/mode/z80/z80.js +0 -116
  362. data/vendor/assets/stylesheets/codemirror/5.49.2/lib/codemirror.css +0 -349
  363. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/3024-day.css +0 -41
  364. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/3024-night.css +0 -39
  365. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/abcdef.css +0 -32
  366. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/ambiance-mobile.css +0 -5
  367. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/ambiance.css +0 -74
  368. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/base16-dark.css +0 -38
  369. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/base16-light.css +0 -38
  370. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/bespin.css +0 -34
  371. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/blackboard.css +0 -32
  372. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/cobalt.css +0 -25
  373. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/colorforth.css +0 -33
  374. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/darcula.css +0 -53
  375. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/dracula.css +0 -40
  376. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/duotone-dark.css +0 -35
  377. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/duotone-light.css +0 -36
  378. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/eclipse.css +0 -23
  379. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/elegant.css +0 -13
  380. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/erlang-dark.css +0 -34
  381. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/gruvbox-dark.css +0 -37
  382. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/hopscotch.css +0 -34
  383. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/icecoder.css +0 -43
  384. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/idea.css +0 -42
  385. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/isotope.css +0 -34
  386. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/lesser-dark.css +0 -47
  387. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/liquibyte.css +0 -95
  388. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/lucario.css +0 -37
  389. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/material-darker.css +0 -135
  390. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/material-ocean.css +0 -135
  391. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/material-palenight.css +0 -135
  392. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/material.css +0 -135
  393. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/mbo.css +0 -37
  394. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/mdn-like.css +0 -46
  395. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/midnight.css +0 -39
  396. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/monokai.css +0 -41
  397. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/moxer.css +0 -143
  398. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/neat.css +0 -12
  399. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/neo.css +0 -43
  400. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/night.css +0 -27
  401. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/nord.css +0 -42
  402. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/oceanic-next.css +0 -44
  403. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/panda-syntax.css +0 -85
  404. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/paraiso-dark.css +0 -38
  405. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/paraiso-light.css +0 -38
  406. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/pastel-on-dark.css +0 -52
  407. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/railscasts.css +0 -34
  408. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/rubyblue.css +0 -25
  409. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/seti.css +0 -44
  410. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/shadowfox.css +0 -52
  411. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/solarized.css +0 -168
  412. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/ssms.css +0 -16
  413. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/the-matrix.css +0 -30
  414. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/tomorrow-night-bright.css +0 -35
  415. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/tomorrow-night-eighties.css +0 -38
  416. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/ttcn.css +0 -64
  417. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/twilight.css +0 -32
  418. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/vibrant-ink.css +0 -34
  419. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/xq-dark.css +0 -53
  420. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/xq-light.css +0 -43
  421. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/yeti.css +0 -44
  422. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/yonce.css +0 -59
  423. data/vendor/assets/stylesheets/codemirror/5.49.2/theme/zenburn.css +0 -37
@@ -1,116 +0,0 @@
1
- <!doctype html>
2
-
3
- <title>CodeMirror: sTeX mode</title>
4
- <meta charset="utf-8"/>
5
- <link rel=stylesheet href="../../doc/docs.css">
6
-
7
- <link rel="stylesheet" href="../../lib/codemirror.css">
8
- <script src="../../lib/codemirror.js"></script>
9
- <script src="stex.js"></script>
10
- <style>.CodeMirror {background: #f8f8f8;}</style>
11
- <div id=nav>
12
- <a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
13
-
14
- <ul>
15
- <li><a href="../../index.html">Home</a>
16
- <li><a href="../../doc/manual.html">Manual</a>
17
- <li><a href="https://github.com/codemirror/codemirror">Code</a>
18
- </ul>
19
- <ul>
20
- <li><a href="../index.html">Language modes</a>
21
- <li><a class=active href="#">sTeX</a>
22
- </ul>
23
- </div>
24
-
25
- <article>
26
- <h2>sTeX mode</h2>
27
- <form><textarea id="code" name="code">
28
- \begin{module}[id=bbt-size]
29
- \importmodule[balanced-binary-trees]{balanced-binary-trees}
30
- \importmodule[\KWARCslides{dmath/en/cardinality}]{cardinality}
31
-
32
- \begin{frame}
33
- \frametitle{Size Lemma for Balanced Trees}
34
- \begin{itemize}
35
- \item
36
- \begin{assertion}[id=size-lemma,type=lemma]
37
- Let $G=\tup{V,E}$ be a \termref[cd=binary-trees]{balanced binary tree}
38
- of \termref[cd=graph-depth,name=vertex-depth]{depth}$n>i$, then the set
39
- $\defeq{\livar{V}i}{\setst{\inset{v}{V}}{\gdepth{v} = i}}$ of
40
- \termref[cd=graphs-intro,name=node]{nodes} at
41
- \termref[cd=graph-depth,name=vertex-depth]{depth} $i$ has
42
- \termref[cd=cardinality,name=cardinality]{cardinality} $\power2i$.
43
- \end{assertion}
44
- \item
45
- \begin{sproof}[id=size-lemma-pf,proofend=,for=size-lemma]{via induction over the depth $i$.}
46
- \begin{spfcases}{We have to consider two cases}
47
- \begin{spfcase}{$i=0$}
48
- \begin{spfstep}[display=flow]
49
- then $\livar{V}i=\set{\livar{v}r}$, where $\livar{v}r$ is the root, so
50
- $\eq{\card{\livar{V}0},\card{\set{\livar{v}r}},1,\power20}$.
51
- \end{spfstep}
52
- \end{spfcase}
53
- \begin{spfcase}{$i>0$}
54
- \begin{spfstep}[display=flow]
55
- then $\livar{V}{i-1}$ contains $\power2{i-1}$ vertexes
56
- \begin{justification}[method=byIH](IH)\end{justification}
57
- \end{spfstep}
58
- \begin{spfstep}
59
- By the \begin{justification}[method=byDef]definition of a binary
60
- tree\end{justification}, each $\inset{v}{\livar{V}{i-1}}$ is a leaf or has
61
- two children that are at depth $i$.
62
- \end{spfstep}
63
- \begin{spfstep}
64
- As $G$ is \termref[cd=balanced-binary-trees,name=balanced-binary-tree]{balanced} and $\gdepth{G}=n>i$, $\livar{V}{i-1}$ cannot contain
65
- leaves.
66
- \end{spfstep}
67
- \begin{spfstep}[type=conclusion]
68
- Thus $\eq{\card{\livar{V}i},{\atimes[cdot]{2,\card{\livar{V}{i-1}}}},{\atimes[cdot]{2,\power2{i-1}}},\power2i}$.
69
- \end{spfstep}
70
- \end{spfcase}
71
- \end{spfcases}
72
- \end{sproof}
73
- \item
74
- \begin{assertion}[id=fbbt,type=corollary]
75
- A fully balanced tree of depth $d$ has $\power2{d+1}-1$ nodes.
76
- \end{assertion}
77
- \item
78
- \begin{sproof}[for=fbbt,id=fbbt-pf]{}
79
- \begin{spfstep}
80
- Let $\defeq{G}{\tup{V,E}}$ be a fully balanced tree
81
- \end{spfstep}
82
- \begin{spfstep}
83
- Then $\card{V}=\Sumfromto{i}1d{\power2i}= \power2{d+1}-1$.
84
- \end{spfstep}
85
- \end{sproof}
86
- \end{itemize}
87
- \end{frame}
88
- \begin{note}
89
- \begin{omtext}[type=conclusion,for=binary-tree]
90
- This shows that balanced binary trees grow in breadth very quickly, a consequence of
91
- this is that they are very shallow (and this compute very fast), which is the essence of
92
- the next result.
93
- \end{omtext}
94
- \end{note}
95
- \end{module}
96
-
97
- %%% Local Variables:
98
- %%% mode: LaTeX
99
- %%% TeX-master: "all"
100
- %%% End: \end{document}
101
- </textarea></form>
102
- <script>
103
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
104
- </script>
105
-
106
- <p>sTeX mode supports this option:</p>
107
- <d1>
108
- <dt><code>inMathMode: boolean</code></dt>
109
- <dd>Whether to start parsing in math mode (default: <code>false</code>).</dd>
110
- </d1>
111
-
112
- <p><strong>MIME types defined:</strong> <code>text/x-stex</code>.</p>
113
-
114
- <p><strong>Parsing/Highlighting Tests:</strong> <a href="../../test/index.html#stex_*">normal</a>, <a href="../../test/index.html#verbose,stex_*">verbose</a>.</p>
115
-
116
- </article>
@@ -1,264 +0,0 @@
1
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
- // Distributed under an MIT license: https://codemirror.net/LICENSE
3
-
4
- /*
5
- * Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)
6
- * Licence: MIT
7
- */
8
-
9
- (function(mod) {
10
- if (typeof exports == "object" && typeof module == "object") // CommonJS
11
- mod(require("../../lib/codemirror"));
12
- else if (typeof define == "function" && define.amd) // AMD
13
- define(["../../lib/codemirror"], mod);
14
- else // Plain browser env
15
- mod(CodeMirror);
16
- })(function(CodeMirror) {
17
- "use strict";
18
-
19
- CodeMirror.defineMode("stex", function(_config, parserConfig) {
20
- "use strict";
21
-
22
- function pushCommand(state, command) {
23
- state.cmdState.push(command);
24
- }
25
-
26
- function peekCommand(state) {
27
- if (state.cmdState.length > 0) {
28
- return state.cmdState[state.cmdState.length - 1];
29
- } else {
30
- return null;
31
- }
32
- }
33
-
34
- function popCommand(state) {
35
- var plug = state.cmdState.pop();
36
- if (plug) {
37
- plug.closeBracket();
38
- }
39
- }
40
-
41
- // returns the non-default plugin closest to the end of the list
42
- function getMostPowerful(state) {
43
- var context = state.cmdState;
44
- for (var i = context.length - 1; i >= 0; i--) {
45
- var plug = context[i];
46
- if (plug.name == "DEFAULT") {
47
- continue;
48
- }
49
- return plug;
50
- }
51
- return { styleIdentifier: function() { return null; } };
52
- }
53
-
54
- function addPluginPattern(pluginName, cmdStyle, styles) {
55
- return function () {
56
- this.name = pluginName;
57
- this.bracketNo = 0;
58
- this.style = cmdStyle;
59
- this.styles = styles;
60
- this.argument = null; // \begin and \end have arguments that follow. These are stored in the plugin
61
-
62
- this.styleIdentifier = function() {
63
- return this.styles[this.bracketNo - 1] || null;
64
- };
65
- this.openBracket = function() {
66
- this.bracketNo++;
67
- return "bracket";
68
- };
69
- this.closeBracket = function() {};
70
- };
71
- }
72
-
73
- var plugins = {};
74
-
75
- plugins["importmodule"] = addPluginPattern("importmodule", "tag", ["string", "builtin"]);
76
- plugins["documentclass"] = addPluginPattern("documentclass", "tag", ["", "atom"]);
77
- plugins["usepackage"] = addPluginPattern("usepackage", "tag", ["atom"]);
78
- plugins["begin"] = addPluginPattern("begin", "tag", ["atom"]);
79
- plugins["end"] = addPluginPattern("end", "tag", ["atom"]);
80
-
81
- plugins["label" ] = addPluginPattern("label" , "tag", ["atom"]);
82
- plugins["ref" ] = addPluginPattern("ref" , "tag", ["atom"]);
83
- plugins["eqref" ] = addPluginPattern("eqref" , "tag", ["atom"]);
84
- plugins["cite" ] = addPluginPattern("cite" , "tag", ["atom"]);
85
- plugins["bibitem" ] = addPluginPattern("bibitem" , "tag", ["atom"]);
86
- plugins["Bibitem" ] = addPluginPattern("Bibitem" , "tag", ["atom"]);
87
- plugins["RBibitem" ] = addPluginPattern("RBibitem" , "tag", ["atom"]);
88
-
89
- plugins["DEFAULT"] = function () {
90
- this.name = "DEFAULT";
91
- this.style = "tag";
92
-
93
- this.styleIdentifier = this.openBracket = this.closeBracket = function() {};
94
- };
95
-
96
- function setState(state, f) {
97
- state.f = f;
98
- }
99
-
100
- // called when in a normal (no environment) context
101
- function normal(source, state) {
102
- var plug;
103
- // Do we look like '\command' ? If so, attempt to apply the plugin 'command'
104
- if (source.match(/^\\[a-zA-Z@]+/)) {
105
- var cmdName = source.current().slice(1);
106
- plug = plugins[cmdName] || plugins["DEFAULT"];
107
- plug = new plug();
108
- pushCommand(state, plug);
109
- setState(state, beginParams);
110
- return plug.style;
111
- }
112
-
113
- // escape characters
114
- if (source.match(/^\\[$&%#{}_]/)) {
115
- return "tag";
116
- }
117
-
118
- // white space control characters
119
- if (source.match(/^\\[,;!\/\\]/)) {
120
- return "tag";
121
- }
122
-
123
- // find if we're starting various math modes
124
- if (source.match("\\[")) {
125
- setState(state, function(source, state){ return inMathMode(source, state, "\\]"); });
126
- return "keyword";
127
- }
128
- if (source.match("\\(")) {
129
- setState(state, function(source, state){ return inMathMode(source, state, "\\)"); });
130
- return "keyword";
131
- }
132
- if (source.match("$$")) {
133
- setState(state, function(source, state){ return inMathMode(source, state, "$$"); });
134
- return "keyword";
135
- }
136
- if (source.match("$")) {
137
- setState(state, function(source, state){ return inMathMode(source, state, "$"); });
138
- return "keyword";
139
- }
140
-
141
- var ch = source.next();
142
- if (ch == "%") {
143
- source.skipToEnd();
144
- return "comment";
145
- } else if (ch == '}' || ch == ']') {
146
- plug = peekCommand(state);
147
- if (plug) {
148
- plug.closeBracket(ch);
149
- setState(state, beginParams);
150
- } else {
151
- return "error";
152
- }
153
- return "bracket";
154
- } else if (ch == '{' || ch == '[') {
155
- plug = plugins["DEFAULT"];
156
- plug = new plug();
157
- pushCommand(state, plug);
158
- return "bracket";
159
- } else if (/\d/.test(ch)) {
160
- source.eatWhile(/[\w.%]/);
161
- return "atom";
162
- } else {
163
- source.eatWhile(/[\w\-_]/);
164
- plug = getMostPowerful(state);
165
- if (plug.name == 'begin') {
166
- plug.argument = source.current();
167
- }
168
- return plug.styleIdentifier();
169
- }
170
- }
171
-
172
- function inMathMode(source, state, endModeSeq) {
173
- if (source.eatSpace()) {
174
- return null;
175
- }
176
- if (endModeSeq && source.match(endModeSeq)) {
177
- setState(state, normal);
178
- return "keyword";
179
- }
180
- if (source.match(/^\\[a-zA-Z@]+/)) {
181
- return "tag";
182
- }
183
- if (source.match(/^[a-zA-Z]+/)) {
184
- return "variable-2";
185
- }
186
- // escape characters
187
- if (source.match(/^\\[$&%#{}_]/)) {
188
- return "tag";
189
- }
190
- // white space control characters
191
- if (source.match(/^\\[,;!\/]/)) {
192
- return "tag";
193
- }
194
- // special math-mode characters
195
- if (source.match(/^[\^_&]/)) {
196
- return "tag";
197
- }
198
- // non-special characters
199
- if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) {
200
- return null;
201
- }
202
- if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) {
203
- return "number";
204
- }
205
- var ch = source.next();
206
- if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") {
207
- return "bracket";
208
- }
209
-
210
- if (ch == "%") {
211
- source.skipToEnd();
212
- return "comment";
213
- }
214
- return "error";
215
- }
216
-
217
- function beginParams(source, state) {
218
- var ch = source.peek(), lastPlug;
219
- if (ch == '{' || ch == '[') {
220
- lastPlug = peekCommand(state);
221
- lastPlug.openBracket(ch);
222
- source.eat(ch);
223
- setState(state, normal);
224
- return "bracket";
225
- }
226
- if (/[ \t\r]/.test(ch)) {
227
- source.eat(ch);
228
- return null;
229
- }
230
- setState(state, normal);
231
- popCommand(state);
232
-
233
- return normal(source, state);
234
- }
235
-
236
- return {
237
- startState: function() {
238
- var f = parserConfig.inMathMode ? function(source, state){ return inMathMode(source, state); } : normal;
239
- return {
240
- cmdState: [],
241
- f: f
242
- };
243
- },
244
- copyState: function(s) {
245
- return {
246
- cmdState: s.cmdState.slice(),
247
- f: s.f
248
- };
249
- },
250
- token: function(stream, state) {
251
- return state.f(stream, state);
252
- },
253
- blankLine: function(state) {
254
- state.f = normal;
255
- state.cmdState.length = 0;
256
- },
257
- lineComment: "%"
258
- };
259
- });
260
-
261
- CodeMirror.defineMIME("text/x-stex", "stex");
262
- CodeMirror.defineMIME("text/x-latex", "stex");
263
-
264
- });
@@ -1,132 +0,0 @@
1
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
- // Distributed under an MIT license: https://codemirror.net/LICENSE
3
-
4
- (function() {
5
- var mode = CodeMirror.getMode({tabSize: 4}, "stex");
6
- function MT(name) { test.mode(name, mode, Array.prototype.slice.call(arguments, 1)); }
7
-
8
- MT("word",
9
- "foo");
10
-
11
- MT("twoWords",
12
- "foo bar");
13
-
14
- MT("beginEndDocument",
15
- "[tag \\begin][bracket {][atom document][bracket }]",
16
- "[tag \\end][bracket {][atom document][bracket }]");
17
-
18
- MT("beginEndEquation",
19
- "[tag \\begin][bracket {][atom equation][bracket }]",
20
- " E=mc^2",
21
- "[tag \\end][bracket {][atom equation][bracket }]");
22
-
23
- MT("beginModule",
24
- "[tag \\begin][bracket {][atom module][bracket }[[]]]");
25
-
26
- MT("beginModuleId",
27
- "[tag \\begin][bracket {][atom module][bracket }[[]id=bbt-size[bracket ]]]");
28
-
29
- MT("importModule",
30
- "[tag \\importmodule][bracket [[][string b-b-t][bracket ]]{][builtin b-b-t][bracket }]");
31
-
32
- MT("importModulePath",
33
- "[tag \\importmodule][bracket [[][tag \\KWARCslides][bracket {][string dmath/en/cardinality][bracket }]]{][builtin card][bracket }]");
34
-
35
- MT("psForPDF",
36
- "[tag \\PSforPDF][bracket [[][atom 1][bracket ]]{]#1[bracket }]");
37
-
38
- MT("comment",
39
- "[comment % foo]");
40
-
41
- MT("tagComment",
42
- "[tag \\item][comment % bar]");
43
-
44
- MT("commentTag",
45
- " [comment % \\item]");
46
-
47
- MT("commentLineBreak",
48
- "[comment %]",
49
- "foo");
50
-
51
- MT("tagErrorCurly",
52
- "[tag \\begin][error }][bracket {]");
53
-
54
- MT("tagErrorSquare",
55
- "[tag \\item][error ]]][bracket {]");
56
-
57
- MT("commentCurly",
58
- "[comment % }]");
59
-
60
- MT("tagHash",
61
- "the [tag \\#] key");
62
-
63
- MT("tagNumber",
64
- "a [tag \\$][atom 5] stetson");
65
-
66
- MT("tagPercent",
67
- "[atom 100][tag \\%] beef");
68
-
69
- MT("tagAmpersand",
70
- "L [tag \\&] N");
71
-
72
- MT("tagUnderscore",
73
- "foo[tag \\_]bar");
74
-
75
- MT("tagBracketOpen",
76
- "[tag \\emph][bracket {][tag \\{][bracket }]");
77
-
78
- MT("tagBracketClose",
79
- "[tag \\emph][bracket {][tag \\}][bracket }]");
80
-
81
- MT("tagLetterNumber",
82
- "section [tag \\S][atom 1]");
83
-
84
- MT("textTagNumber",
85
- "para [tag \\P][atom 2]");
86
-
87
- MT("thinspace",
88
- "x[tag \\,]y");
89
-
90
- MT("thickspace",
91
- "x[tag \\;]y");
92
-
93
- MT("negativeThinspace",
94
- "x[tag \\!]y");
95
-
96
- MT("periodNotSentence",
97
- "J.\\ L.\\ is");
98
-
99
- MT("periodSentence",
100
- "X[tag \\@]. The");
101
-
102
- MT("italicCorrection",
103
- "[bracket {][tag \\em] If[tag \\/][bracket }] I");
104
-
105
- MT("tagBracket",
106
- "[tag \\newcommand][bracket {][tag \\pop][bracket }]");
107
-
108
- MT("inlineMathTagFollowedByNumber",
109
- "[keyword $][tag \\pi][number 2][keyword $]");
110
-
111
- MT("inlineMath",
112
- "[keyword $][number 3][variable-2 x][tag ^][number 2.45]-[tag \\sqrt][bracket {][tag \\$\\alpha][bracket }] = [number 2][keyword $] other text");
113
-
114
- MT("inlineMathLatexStyle",
115
- "[keyword \\(][number 3][variable-2 x][tag ^][number 2.45]-[tag \\sqrt][bracket {][tag \\$\\alpha][bracket }] = [number 2][keyword \\)] other text");
116
-
117
- MT("displayMath",
118
- "More [keyword $$]\t[variable-2 S][tag ^][variable-2 n][tag \\sum] [variable-2 i][keyword $$] other text");
119
-
120
- MT("displayMath environment",
121
- "[tag \\begin][bracket {][atom equation][bracket }] x [tag \\end][bracket {][atom equation][bracket }] other text");
122
-
123
- MT("displayMath environment with label",
124
- "[tag \\begin][bracket {][atom equation][bracket }][tag \\label][bracket {][atom eq1][bracket }] x [tag \\end][bracket {][atom equation][bracket }] other text~[tag \\ref][bracket {][atom eq1][bracket }]");
125
-
126
- MT("mathWithComment",
127
- "[keyword $][variable-2 x] [comment % $]",
128
- "[variable-2 y][keyword $] other text");
129
-
130
- MT("lineBreakArgument",
131
- "[tag \\\\][bracket [[][atom 1cm][bracket ]]]");
132
- })();
@@ -1,106 +0,0 @@
1
- <!doctype html>
2
-
3
- <title>CodeMirror: Stylus mode</title>
4
- <meta charset="utf-8"/>
5
- <link rel=stylesheet href="../../doc/docs.css">
6
- <link rel="stylesheet" href="../../lib/codemirror.css">
7
- <link rel="stylesheet" href="../../addon/hint/show-hint.css">
8
- <script src="../../lib/codemirror.js"></script>
9
- <script src="stylus.js"></script>
10
- <script src="../../addon/hint/show-hint.js"></script>
11
- <script src="../../addon/hint/css-hint.js"></script>
12
- <style>.CodeMirror {background: #f8f8f8;} form{margin-bottom: .7em;}</style>
13
- <div id=nav>
14
- <a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
15
-
16
- <ul>
17
- <li><a href="../../index.html">Home</a>
18
- <li><a href="../../doc/manual.html">Manual</a>
19
- <li><a href="https://github.com/codemirror/codemirror">Code</a>
20
- </ul>
21
- <ul>
22
- <li><a href="../index.html">Language modes</a>
23
- <li><a class=active href="#">Stylus</a>
24
- </ul>
25
- </div>
26
-
27
- <article>
28
- <h2>Stylus mode</h2>
29
- <form><textarea id="code" name="code">
30
- /* Stylus mode */
31
-
32
- #id,
33
- .class,
34
- article
35
- font-family Arial, sans-serif
36
-
37
- #id,
38
- .class,
39
- article {
40
- font-family: Arial, sans-serif;
41
- }
42
-
43
- // Variables
44
- font-size-base = 16px
45
- line-height-base = 1.5
46
- font-family-base = "Helvetica Neue", Helvetica, Arial, sans-serif
47
- text-color = lighten(#000, 20%)
48
-
49
- body
50
- font font-size-base/line-height-base font-family-base
51
- color text-color
52
-
53
- body {
54
- font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
55
- color: #333;
56
- }
57
-
58
- // Variables
59
- link-color = darken(#428bca, 6.5%)
60
- link-hover-color = darken(link-color, 15%)
61
- link-decoration = none
62
- link-hover-decoration = false
63
-
64
- // Mixin
65
- tab-focus()
66
- outline thin dotted
67
- outline 5px auto -webkit-focus-ring-color
68
- outline-offset -2px
69
-
70
- a
71
- color link-color
72
- if link-decoration
73
- text-decoration link-decoration
74
- &:hover
75
- &:focus
76
- color link-hover-color
77
- if link-hover-decoration
78
- text-decoration link-hover-decoration
79
- &:focus
80
- tab-focus()
81
-
82
- a {
83
- color: #3782c4;
84
- text-decoration: none;
85
- }
86
- a:hover,
87
- a:focus {
88
- color: #2f6ea7;
89
- }
90
- a:focus {
91
- outline: thin dotted;
92
- outline: 5px auto -webkit-focus-ring-color;
93
- outline-offset: -2px;
94
- }
95
- </textarea>
96
- </form>
97
- <script>
98
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
99
- extraKeys: {"Ctrl-Space": "autocomplete"},
100
- tabSize: 2
101
- });
102
- </script>
103
-
104
- <p><strong>MIME types defined:</strong> <code>text/x-styl</code>.</p>
105
- <p>Created by <a href="https://github.com/dmitrykiselyov">Dmitry Kiselyov</a></p>
106
- </article>