Gecko [ www.foryou-vip.com ]

Name	Size	Permission	Date
snippets	[ DIR ]	drwxr-xr-x	2025-11-25 13:47
ace.js	662.35 KB	-rw-r--r--	2025-11-25 13:48
ext-beautify.js	8.08 KB	-rw-r--r--	2025-11-25 13:48
ext-chromevox.js	13.32 KB	-rw-r--r--	2025-11-25 13:48
ext-elastic_tabstops_lite.js	8.55 KB	-rw-r--r--	2025-11-25 13:48
ext-emmet.js	42.22 KB	-rw-r--r--	2025-11-25 13:48
ext-error_marker.js	141 B	-rw-r--r--	2025-11-25 13:48
ext-keybinding_menu.js	5.72 KB	-rw-r--r--	2025-11-25 13:48
ext-language_tools.js	66.45 KB	-rw-r--r--	2025-11-25 13:48
ext-linking.js	1.76 KB	-rw-r--r--	2025-11-25 13:48
ext-modelist.js	5.99 KB	-rw-r--r--	2025-11-25 13:48
ext-old_ie.js	15.78 KB	-rw-r--r--	2025-11-25 13:48
ext-searchbox.js	16.2 KB	-rw-r--r--	2025-11-25 13:48
ext-settings_menu.js	20.67 KB	-rw-r--r--	2025-11-25 13:48
ext-spellcheck.js	2.35 KB	-rw-r--r--	2025-11-25 13:48
ext-split.js	7.22 KB	-rw-r--r--	2025-11-25 13:48
ext-static_highlight.js	4.91 KB	-rw-r--r--	2025-11-25 13:48
ext-statusbar.js	1.68 KB	-rw-r--r--	2025-11-25 13:48
ext-textarea.js	15.9 KB	-rw-r--r--	2025-11-25 13:48
ext-themelist.js	2.44 KB	-rw-r--r--	2025-11-25 13:48
ext-whitespace.js	6.07 KB	-rw-r--r--	2025-11-25 13:48
keybinding-emacs.js	40.08 KB	-rw-r--r--	2025-11-25 13:48
keybinding-vim.js	201.11 KB	-rw-r--r--	2025-11-25 13:48
mode-abap.js	8.87 KB	-rw-r--r--	2025-11-25 13:48
mode-abc.js	8.85 KB	-rw-r--r--	2025-11-25 13:48
mode-actionscript.js	24.06 KB	-rw-r--r--	2025-11-25 13:48
mode-ada.js	2.71 KB	-rw-r--r--	2025-11-25 13:48
mode-apache_conf.js	18.61 KB	-rw-r--r--	2025-11-25 13:48
mode-applescript.js	9.34 KB	-rw-r--r--	2025-11-25 13:48
mode-asciidoc.js	13.47 KB	-rw-r--r--	2025-11-25 13:48
mode-assembly_x86.js	11.44 KB	-rw-r--r--	2025-11-25 13:48
mode-autohotkey.js	65.67 KB	-rw-r--r--	2025-11-25 13:48
mode-batchfile.js	8.04 KB	-rw-r--r--	2025-11-25 13:48
mode-bro.js	10.78 KB	-rw-r--r--	2025-11-25 13:48
mode-c9search.js	9.46 KB	-rw-r--r--	2025-11-25 13:48
mode-c_cpp.js	18.05 KB	-rw-r--r--	2025-11-25 13:48
mode-cirru.js	5.83 KB	-rw-r--r--	2025-11-25 13:48
mode-clojure.js	12.46 KB	-rw-r--r--	2025-11-25 13:48
mode-cobol.js	3.29 KB	-rw-r--r--	2025-11-25 13:48
mode-coffee.js	14.03 KB	-rw-r--r--	2025-11-25 13:48
mode-coldfusion.js	101.72 KB	-rw-r--r--	2025-11-25 13:48
mode-csharp.js	16.08 KB	-rw-r--r--	2025-11-25 13:48
mode-css.js	30.18 KB	-rw-r--r--	2025-11-25 13:48
mode-curly.js	99.81 KB	-rw-r--r--	2025-11-25 13:48
mode-d.js	17.11 KB	-rw-r--r--	2025-11-25 13:48
mode-dart.js	23.84 KB	-rw-r--r--	2025-11-25 13:48
mode-diff.js	4.36 KB	-rw-r--r--	2025-11-25 13:48
mode-django.js	100.62 KB	-rw-r--r--	2025-11-25 13:48
mode-dockerfile.js	15.79 KB	-rw-r--r--	2025-11-25 13:48
mode-dot.js	13.51 KB	-rw-r--r--	2025-11-25 13:48
mode-drools.js	17.28 KB	-rw-r--r--	2025-11-25 13:48
mode-eiffel.js	4.84 KB	-rw-r--r--	2025-11-25 13:48
mode-ejs.js	117.48 KB	-rw-r--r--	2025-11-25 13:48
mode-elixir.js	22.76 KB	-rw-r--r--	2025-11-25 13:48
mode-elm.js	9.16 KB	-rw-r--r--	2025-11-25 13:48
mode-erlang.js	45.31 KB	-rw-r--r--	2025-11-25 13:48
mode-forth.js	10.98 KB	-rw-r--r--	2025-11-25 13:48
mode-fortran.js	14.72 KB	-rw-r--r--	2025-11-25 13:48
mode-ftl.js	49.7 KB	-rw-r--r--	2025-11-25 13:48
mode-gcode.js	2.78 KB	-rw-r--r--	2025-11-25 13:48
mode-gherkin.js	4.59 KB	-rw-r--r--	2025-11-25 13:48
mode-gitignore.js	1.45 KB	-rw-r--r--	2025-11-25 13:48
mode-glsl.js	21.1 KB	-rw-r--r--	2025-11-25 13:48
mode-gobstones.js	34.77 KB	-rw-r--r--	2025-11-25 13:48
mode-golang.js	13.5 KB	-rw-r--r--	2025-11-25 13:48
mode-graphqlschema.js	6.38 KB	-rw-r--r--	2025-11-25 13:48
mode-groovy.js	37.69 KB	-rw-r--r--	2025-11-25 13:48
mode-haml.js	63.54 KB	-rw-r--r--	2025-11-25 13:48
mode-handlebars.js	101.37 KB	-rw-r--r--	2025-11-25 13:48
mode-haskell.js	16.72 KB	-rw-r--r--	2025-11-25 13:48
mode-haskell_cabal.js	4.15 KB	-rw-r--r--	2025-11-25 13:48
mode-haxe.js	11.96 KB	-rw-r--r--	2025-11-25 13:48
mode-hjson.js	10.77 KB	-rw-r--r--	2025-11-25 13:48
mode-html.js	98.26 KB	-rw-r--r--	2025-11-25 13:48
mode-html_elixir.js	123.61 KB	-rw-r--r--	2025-11-25 13:48
mode-html_ruby.js	118.22 KB	-rw-r--r--	2025-11-25 13:48
mode-ini.js	4.58 KB	-rw-r--r--	2025-11-25 13:48
mode-io.js	9.17 KB	-rw-r--r--	2025-11-25 13:48
mode-jack.js	10.71 KB	-rw-r--r--	2025-11-25 13:48
mode-jade.js	86.1 KB	-rw-r--r--	2025-11-25 13:48
mode-java.js	36.31 KB	-rw-r--r--	2025-11-25 13:48
mode-javascript.js	30.68 KB	-rw-r--r--	2025-11-25 13:48
mode-json.js	9.93 KB	-rw-r--r--	2025-11-25 13:48
mode-jsoniq.js	320.04 KB	-rw-r--r--	2025-11-25 13:48
mode-jsp.js	56.89 KB	-rw-r--r--	2025-11-25 13:48
mode-jsx.js	13.05 KB	-rw-r--r--	2025-11-25 13:48
mode-julia.js	11.61 KB	-rw-r--r--	2025-11-25 13:48
mode-kotlin.js	23.86 KB	-rw-r--r--	2025-11-25 13:48
mode-latex.js	7.21 KB	-rw-r--r--	2025-11-25 13:48
mode-lean.js	9.46 KB	-rw-r--r--	2025-11-25 13:48
mode-less.js	34.33 KB	-rw-r--r--	2025-11-25 13:48
mode-liquid.js	49.28 KB	-rw-r--r--	2025-11-25 13:48
mode-lisp.js	3.16 KB	-rw-r--r--	2025-11-25 13:48
mode-live_script.js	26.71 KB	-rw-r--r--	2025-11-25 13:48
mode-livescript.js	7.92 KB	-rw-r--r--	2025-11-25 13:48
mode-logiql.js	10.35 KB	-rw-r--r--	2025-11-25 13:48
mode-lsl.js	30.83 KB	-rw-r--r--	2025-11-25 13:48
mode-lua.js	14.15 KB	-rw-r--r--	2025-11-25 13:48
mode-luapage.js	114.33 KB	-rw-r--r--	2025-11-25 13:48
mode-lucene.js	2.07 KB	-rw-r--r--	2025-11-25 13:48
mode-makefile.js	12.81 KB	-rw-r--r--	2025-11-25 13:48
mode-markdown.js	110.88 KB	-rw-r--r--	2025-11-25 13:48
mode-mask.js	69.49 KB	-rw-r--r--	2025-11-25 13:48
mode-matlab.js	22.58 KB	-rw-r--r--	2025-11-25 13:48
mode-mavens_mate_log.js	5.21 KB	-rw-r--r--	2025-11-25 13:48
mode-maze.js	8.85 KB	-rw-r--r--	2025-11-25 13:48
mode-mel.js	28.16 KB	-rw-r--r--	2025-11-25 13:48
mode-mips_assembler.js	9.33 KB	-rw-r--r--	2025-11-25 13:48
mode-mipsassembler.js	6.08 KB	-rw-r--r--	2025-11-25 13:48
mode-mushcode.js	11.77 KB	-rw-r--r--	2025-11-25 13:48
mode-mysql.js	8.48 KB	-rw-r--r--	2025-11-25 13:48
mode-nix.js	22.78 KB	-rw-r--r--	2025-11-25 13:48
mode-nsis.js	14.16 KB	-rw-r--r--	2025-11-25 13:48
mode-objectivec.js	63.48 KB	-rw-r--r--	2025-11-25 13:48
mode-ocaml.js	20.95 KB	-rw-r--r--	2025-11-25 13:48
mode-pascal.js	7.43 KB	-rw-r--r--	2025-11-25 13:48
mode-perl.js	12.73 KB	-rw-r--r--	2025-11-25 13:48
mode-pgsql.js	78.37 KB	-rw-r--r--	2025-11-25 13:48
mode-php.js	588.2 KB	-rw-r--r--	2025-11-25 13:48
mode-pig.js	10.59 KB	-rw-r--r--	2025-11-25 13:48
mode-plain_text.js	757 B	-rw-r--r--	2025-11-25 13:48
mode-powershell.js	37.91 KB	-rw-r--r--	2025-11-25 13:48
mode-praat.js	17.09 KB	-rw-r--r--	2025-11-25 13:48
mode-prolog.js	13.75 KB	-rw-r--r--	2025-11-25 13:48
mode-properties.js	2.02 KB	-rw-r--r--	2025-11-25 13:48
mode-protobuf.js	21.22 KB	-rw-r--r--	2025-11-25 13:48
mode-python.js	8.52 KB	-rw-r--r--	2025-11-25 13:47
mode-r.js	9.41 KB	-rw-r--r--	2025-11-25 13:47
mode-razor.js	110.43 KB	-rw-r--r--	2025-11-25 13:47
mode-rdoc.js	6.64 KB	-rw-r--r--	2025-11-25 13:47
mode-rhtml.js	107.56 KB	-rw-r--r--	2025-11-25 13:47
mode-rst.js	5.52 KB	-rw-r--r--	2025-11-25 13:47
mode-ruby.js	18.45 KB	-rw-r--r--	2025-11-25 13:47
mode-rust.js	10.68 KB	-rw-r--r--	2025-11-25 13:47
mode-sass.js	18.32 KB	-rw-r--r--	2025-11-25 13:47
mode-scad.js	12.58 KB	-rw-r--r--	2025-11-25 13:47
mode-scala.js	37.8 KB	-rw-r--r--	2025-11-25 13:47
mode-scheme.js	6.83 KB	-rw-r--r--	2025-11-25 13:47
mode-scss.js	23.46 KB	-rw-r--r--	2025-11-25 13:47
mode-sh.js	14.17 KB	-rw-r--r--	2025-11-25 13:47
mode-sjs.js	36.65 KB	-rw-r--r--	2025-11-25 13:47
mode-smarty.js	103.22 KB	-rw-r--r--	2025-11-25 13:47
mode-snippets.js	6.62 KB	-rw-r--r--	2025-11-25 13:47
mode-soy_template.js	111.52 KB	-rw-r--r--	2025-11-25 13:47
mode-space.js	4.69 KB	-rw-r--r--	2025-11-25 13:47
mode-sparql.js	12.03 KB	-rw-r--r--	2025-11-25 13:47
mode-sql.js	3.03 KB	-rw-r--r--	2025-11-25 13:47
mode-sqlserver.js	22.76 KB	-rw-r--r--	2025-11-25 13:47
mode-stylus.js	20.5 KB	-rw-r--r--	2025-11-25 13:47
mode-svg.js	57.13 KB	-rw-r--r--	2025-11-25 13:47
mode-swift.js	12.91 KB	-rw-r--r--	2025-11-25 13:47
mode-swig.js	47.08 KB	-rw-r--r--	2025-11-25 13:47
mode-tcl.js	11.83 KB	-rw-r--r--	2025-11-25 13:47
mode-tex.js	4.82 KB	-rw-r--r--	2025-11-25 13:47
mode-text.js	1 B	-rw-r--r--	2025-11-25 13:47
mode-textile.js	3.87 KB	-rw-r--r--	2025-11-25 13:47
mode-toml.js	3.87 KB	-rw-r--r--	2025-11-25 13:47
mode-tsx.js	34.25 KB	-rw-r--r--	2025-11-25 13:47
mode-turtle.js	8.99 KB	-rw-r--r--	2025-11-25 13:47
mode-twig.js	103.92 KB	-rw-r--r--	2025-11-25 13:47
mode-typescript.js	33.82 KB	-rw-r--r--	2025-11-25 13:47
mode-vala.js	26.77 KB	-rw-r--r--	2025-11-25 13:47
mode-vbscript.js	7.25 KB	-rw-r--r--	2025-11-25 13:47
mode-velocity.js	107.39 KB	-rw-r--r--	2025-11-25 13:47
mode-verilog.js	3.86 KB	-rw-r--r--	2025-11-25 13:47
mode-vhdl.js	3.5 KB	-rw-r--r--	2025-11-25 13:47
mode-wollok.js	34.54 KB	-rw-r--r--	2025-11-25 13:47
mode-xml.js	22.97 KB	-rw-r--r--	2025-11-25 13:47
mode-xquery.js	317.31 KB	-rw-r--r--	2025-11-25 13:47
mode-yaml.js	8.79 KB	-rw-r--r--	2025-11-25 13:47
theme-ambiance.js	27.54 KB	-rw-r--r--	2025-11-25 13:47
theme-chaos.js	3.13 KB	-rw-r--r--	2025-11-25 13:47
theme-chrome.js	2.96 KB	-rw-r--r--	2025-11-25 13:47
theme-clouds.js	2.28 KB	-rw-r--r--	2025-11-25 13:47
theme-clouds_midnight.js	2.63 KB	-rw-r--r--	2025-11-25 13:47
theme-cobalt.js	2.58 KB	-rw-r--r--	2025-11-25 13:47
theme-crimson_editor.js	3.04 KB	-rw-r--r--	2025-11-25 13:47
theme-dawn.js	2.46 KB	-rw-r--r--	2025-11-25 13:47
theme-dreamweaver.js	3.41 KB	-rw-r--r--	2025-11-25 13:47
theme-eclipse.js	2.33 KB	-rw-r--r--	2025-11-25 13:47
theme-github.js	2.4 KB	-rw-r--r--	2025-11-25 13:47
theme-gob.js	2.61 KB	-rw-r--r--	2025-11-25 13:47
theme-gruvbox.js	1.85 KB	-rw-r--r--	2025-11-25 13:47
theme-idle_fingers.js	2.45 KB	-rw-r--r--	2025-11-25 13:47
theme-iplastic.js	6.63 KB	-rw-r--r--	2025-11-25 13:47
theme-katzenmilch.js	3.35 KB	-rw-r--r--	2025-11-25 13:47
theme-kr_theme.js	2.51 KB	-rw-r--r--	2025-11-25 13:47
theme-kuroir.js	2.19 KB	-rw-r--r--	2025-11-25 13:47
theme-merbivore.js	2.43 KB	-rw-r--r--	2025-11-25 13:47
theme-merbivore_soft.js	2.64 KB	-rw-r--r--	2025-11-25 13:47
theme-mono_industrial.js	3 KB	-rw-r--r--	2025-11-25 13:47
theme-monokai.js	2.59 KB	-rw-r--r--	2025-11-25 13:47
theme-pastel_on_dark.js	2.85 KB	-rw-r--r--	2025-11-25 13:47
theme-solarized_dark.js	2.49 KB	-rw-r--r--	2025-11-25 13:47
theme-solarized_light.js	2.55 KB	-rw-r--r--	2025-11-25 13:47
theme-sqlserver.js	3.16 KB	-rw-r--r--	2025-11-25 13:47
theme-terminal.js	3.13 KB	-rw-r--r--	2025-11-25 13:47
theme-textmate.js	2.84 KB	-rw-r--r--	2025-11-25 13:47
theme-tomorrow.js	2.77 KB	-rw-r--r--	2025-11-25 13:47
theme-tomorrow_night.js	3.03 KB	-rw-r--r--	2025-11-25 13:47
theme-tomorrow_night_blue.js	3.23 KB	-rw-r--r--	2025-11-25 13:47
theme-tomorrow_night_bright.js	3.71 KB	-rw-r--r--	2025-11-25 13:47
theme-tomorrow_night_eighties.js	3.42 KB	-rw-r--r--	2025-11-25 13:47
theme-twilight.js	2.72 KB	-rw-r--r--	2025-11-25 13:47
theme-vibrant_ink.js	2.4 KB	-rw-r--r--	2025-11-25 13:47
theme-xcode.js	2.11 KB	-rw-r--r--	2025-11-25 13:47
worker-coffee.js	220.38 KB	-rw-r--r--	2025-11-25 13:47
worker-css.js	290.28 KB	-rw-r--r--	2025-11-25 13:47
worker-html.js	330.32 KB	-rw-r--r--	2025-11-25 13:47
worker-javascript.js	337.14 KB	-rw-r--r--	2025-11-25 13:47
worker-json.js	71.04 KB	-rw-r--r--	2025-11-25 13:47
worker-lua.js	103.33 KB	-rw-r--r--	2025-11-25 13:47
worker-php.js	147.68 KB	-rw-r--r--	2025-11-25 13:47
worker-xml.js	110.19 KB	-rw-r--r--	2025-11-25 13:47
worker-xquery.js	3.36 MB	-rw-r--r--	2025-11-25 13:47

Rename

ace.define("ace/mode/doc_comment_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module) {
"use strict";

var oop = require("../lib/oop");
var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;

var DocCommentHighlightRules = function() {
    this.$rules = {
        "start" : [ {
            token : "comment.doc.tag",
            regex : "@[\\w\\d_]+" // TODO: fix email addresses
        }, 
        DocCommentHighlightRules.getTagRule(),
        {
            defaultToken : "comment.doc",
            caseInsensitive: true
        }]
    };
};

oop.inherits(DocCommentHighlightRules, TextHighlightRules);

DocCommentHighlightRules.getTagRule = function(start) {
    return {
        token : "comment.doc.tag.storage.type",
        regex : "\\b(?:TODO|FIXME|XXX|HACK)\\b"
    };
}

DocCommentHighlightRules.getStartRule = function(start) {
    return {
        token : "comment.doc", // doc comment
        regex : "\\/\\*(?=\\*)",
        next  : start
    };
};

DocCommentHighlightRules.getEndRule = function (start) {
    return {
        token : "comment.doc", // closing comment
        regex : "\\*\\/",
        next  : start
    };
};

exports.DocCommentHighlightRules = DocCommentHighlightRules;

});

ace.define("ace/mode/lean_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/doc_comment_highlight_rules","ace/mode/text_highlight_rules"], function(require, exports, module) {
"use strict";

var oop = require("../lib/oop");
var DocCommentHighlightRules = require("./doc_comment_highlight_rules").DocCommentHighlightRules;
var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;

var leanHighlightRules = function() {

var keywordControls = (
        [ "add_rewrite", "alias", "as", "assume", "attribute",
          "begin", "by", "calc", "calc_refl", "calc_subst", "calc_trans", "check",
          "classes", "coercions", "conjecture", "constants", "context",
          "corollary", "else", "end", "environment", "eval", "example",
          "exists", "exit", "export", "exposing", "extends", "fields", "find_decl",
          "forall", "from", "fun", "have", "help", "hiding", "if",
          "import", "in", "infix", "infixl", "infixr", "instances",
          "let", "local", "match", "namespace", "notation", "obtain", "obtains",
          "omit", "opaque", "open", "options", "parameter", "parameters", "postfix",
          "precedence", "prefix", "premise", "premises", "print", "private", "proof",
          "protected", "qed", "raw", "renaming", "section", "set_option",
          "show", "tactic_hint", "take", "then", "universe",
          "universes", "using", "variable", "variables", "with"].join("|")
    );

var nameProviders = (
        ["inductive", "structure", "record", "theorem", "axiom",
         "axioms", "lemma", "hypothesis", "definition", "constant"].join("|")
    );

var storageType = (
        ["Prop", "Type", "Type'", "Type₊", "Type₁", "Type₂", "Type₃"].join("|")
    );

var storageModifiers = (
        "\\[(" +
            ["abbreviations", "all-transparent", "begin-end-hints", "class", "classes", "coercion",
             "coercions", "declarations", "decls", "instance", "irreducible",
             "multiple-instances", "notation", "notations", "parsing-only", "persistent",
             "reduce-hints", "reducible", "tactic-hints", "visible", "wf", "whnf"
            ].join("|") +
            ")\\]"
    );

var keywordOperators = (
        [].join("|")
    );

var keywordMapper = this.$keywords = this.createKeywordMapper({
        "keyword.control" : keywordControls,
        "storage.type" : storageType,
        "keyword.operator" : keywordOperators,
        "variable.language": "sorry"
    }, "identifier");

var identifierRe = "[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f][A-Za-z0-9_'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079\u207f-\u2089\u2090-\u209c\u2100-\u214f]*";
    var operatorRe = new RegExp(["#", "@", "->", "∼", "↔", "/", "==", "=", ":=", "<->",
                                 "/\\", "\\/", "∧", "∨", "≠", "<", ">", "≤", "≥", "¬",
                                 "<=", ">=", "⁻¹", "⬝", "▸", "\\+", "\\*", "-", "/",
                                 "λ", "→", "∃", "∀", ":="].join("|"));

this.$rules = {
        "start" : [
            {
                token : "comment", // single line comment "--"
                regex : "--.*$"
            },
            DocCommentHighlightRules.getStartRule("doc-start"),
            {
                token : "comment", // multi line comment "/-"
                regex : "\\/-",
                next : "comment"
            }, {
                stateName: "qqstring",
                token : "string.start", regex : '"', next : [
                    {token : "string.end", regex : '"', next : "start"},
                    {token : "constant.language.escape", regex : /\\[n"\\]/},
                    {defaultToken: "string"}
                ]
            }, {
                token : "keyword.control", regex : nameProviders, next : [
                    {token : "variable.language", regex : identifierRe, next : "start"} ]
            }, {
                token : "constant.numeric", // hex
                regex : "0[xX][0-9a-fA-F]+(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b"
            }, {
                token : "constant.numeric", // float
                regex : "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b"
            }, {
                token : "storage.modifier",
                regex : storageModifiers
            }, {
                token : keywordMapper,
                regex : identifierRe
            }, {
                token : "operator",
                regex : operatorRe
            }, {
              token : "punctuation.operator",
              regex : "\\?|\\:|\\,|\\;|\\."
            }, {
                token : "paren.lparen",
                regex : "[[({]"
            }, {
                token : "paren.rparen",
                regex : "[\\])}]"
            }, {
                token : "text",
                regex : "\\s+"
            }
        ],
        "comment" : [ {token: "comment", regex: "-/", next: "start"},
                      {defaultToken: "comment"} ]
    };

this.embedRules(DocCommentHighlightRules, "doc-",
        [ DocCommentHighlightRules.getEndRule("start") ]);
    this.normalizeRules();
};

oop.inherits(leanHighlightRules, TextHighlightRules);

exports.leanHighlightRules = leanHighlightRules;
});

ace.define("ace/mode/matching_brace_outdent",["require","exports","module","ace/range"], function(require, exports, module) {
"use strict";

var Range = require("../range").Range;

var MatchingBraceOutdent = function() {};

(function() {

this.checkOutdent = function(line, input) {
        if (! /^\s+$/.test(line))
            return false;

return /^\s*\}/.test(input);
    };

this.autoOutdent = function(doc, row) {
        var line = doc.getLine(row);
        var match = line.match(/^(\s*\})/);

if (!match) return 0;

var column = match[1].length;
        var openBracePos = doc.findMatchingBracket({row: row, column: column});

if (!openBracePos || openBracePos.row == row) return 0;

var indent = this.$getIndent(doc.getLine(openBracePos.row));
        doc.replace(new Range(row, 0, row, column-1), indent);
    };

this.$getIndent = function(line) {
        return line.match(/^\s*/)[0];
    };

}).call(MatchingBraceOutdent.prototype);

exports.MatchingBraceOutdent = MatchingBraceOutdent;
});

ace.define("ace/mode/lean",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/lean_highlight_rules","ace/mode/matching_brace_outdent","ace/range"], function(require, exports, module) {
"use strict";

var oop = require("../lib/oop");
var TextMode = require("./text").Mode;
var leanHighlightRules = require("./lean_highlight_rules").leanHighlightRules;
var MatchingBraceOutdent = require("./matching_brace_outdent").MatchingBraceOutdent;
var Range = require("../range").Range;

var Mode = function() {
    this.HighlightRules = leanHighlightRules;

this.$outdent = new MatchingBraceOutdent();
};
oop.inherits(Mode, TextMode);

(function() {

this.lineCommentStart = "--";
    this.blockComment = {start: "/-", end: "-/"};

this.getNextLineIndent = function(state, line, tab) {
        var indent = this.$getIndent(line);

var tokenizedLine = this.getTokenizer().getLineTokens(line, state);
        var tokens = tokenizedLine.tokens;
        var endState = tokenizedLine.state;

if (tokens.length && tokens[tokens.length-1].type == "comment") {
            return indent;
        }

if (state == "start") {
            var match = line.match(/^.*[\{\(\[]\s*$/);
            if (match) {
                indent += tab;
            }
        } else if (state == "doc-start") {
            if (endState == "start") {
                return "";
            }
            var match = line.match(/^\s*(\/?)\*/);
            if (match) {
                if (match[1]) {
                    indent += " ";
                }
                indent += "- ";
            }
        }

return indent;
    };

this.checkOutdent = function(state, line, input) {
        return this.$outdent.checkOutdent(line, input);
    };

this.autoOutdent = function(state, doc, row) {
        this.$outdent.autoOutdent(doc, row);
    };

this.$id = "ace/mode/lean";
}).call(Mode.prototype);

exports.Mode = Mode;
});