191030.2.1.3 · ab639e1b7412fa09f5302cf3cfcfbabef883cf6b
EditorConfig: Lua
Enforce consistent code styles for all Lua files (.lua, .lang, .theme):
* Indent: 2 spaces.
* Trim trailing whitespace.
* Insert final new line.
* UTF-8 encoding.
Manually fix all scripts that didn't pass EClint validation (256 files).
reading declarations
Changes to langDefs/lotos.lang. All files
@@ -5,19 +5,19 @@ Categories = {"source"} Keywords={ { Id=1,- List={"accept", "actualizedby", "any", "behavior", "behaviour", "choice", - "endlib", "endproc", "endspec", "endtype", "eqns", "exit", "for", "forall", - "formaleqns", "formalopns", "formalsorts", "hide", "iin", "is", "let", - "library", "noexit", "of", "ofsort", "opnnames", "opns", "par", "process", - "renamedby", "sortnames", "sorts", "specification", "stop", "type", + List={"accept", "actualizedby", "any", "behavior", "behaviour", "choice",+ "endlib", "endproc", "endspec", "endtype", "eqns", "exit", "for", "forall",+ "formaleqns", "formalopns", "formalsorts", "hide", "iin", "is", "let",+ "library", "noexit", "of", "ofsort", "opnnames", "opns", "par", "process",+ "renamedby", "sortnames", "sorts", "specification", "stop", "type", "using", "where", "false", "true"}, }, { Id=2,- List={"Bit", "BitString", "Bool", "DecDigit", "DecString", "Element", - "FBool", "HexDigit", "HexStringOctDigit", "Octet", "OctString", "Nat", - "NonEmptyString", "OctetString", "Set", "String", "BasicNaturalNumber", - "BasicNonEmptyString", "BitNatRepr", "Boolean", "FBoolean", "DecNatRepr", - "HexNatRepr", "NatRepresentations", "NaturalNumber", "OctNatRepr", + List={"Bit", "BitString", "Bool", "DecDigit", "DecString", "Element",+ "FBool", "HexDigit", "HexStringOctDigit", "Octet", "OctString", "Nat",+ "NonEmptyString", "OctetString", "Set", "String", "BasicNaturalNumber",+ "BasicNonEmptyString", "BitNatRepr", "Boolean", "FBoolean", "DecNatRepr",+ "HexNatRepr", "NatRepresentations", "NaturalNumber", "OctNatRepr", "RicherNonEmptyString", "String0", "String1"}, }, }