@ 260802.2

200426.1 · 36c995dad7a8bd843a3e6d5fdfc8c1deffe770ee

initial commit

This brings over mostly everything from my old $HOME-only repository. I remove some unused scripts. This commit does not include work-related stuff, which will be encrypted and added in a subsequent commit.

This also does not include my SSH configuration. There's nothing particularly sensitive in it, but it seems prudent to encrypt that too.

reading declarations

Changes to .config/highlight/langDefs/. All files

.config/highlight/langDefs/sml.lang

new file mode 100644@@ -0,0 +1,31 @@+-- Language definition generated by lang2to3++Description="Standard ML"++Keywords={+  { Id=1,+    List={"abstraction", "abstype", "and", "andalso", "as", "before", "case", "datatype", "else", "end", "eqtype", "exception", "do", "fn", "fun", "functor", "handle", "if", "in", "include", "infix", "infixr", "let", "local", "nonfix", "of", "op", "open", "orelse", "overload", "raise", "rec", "sharing", "sig", "signature", "struct", "structure", "then", "type", "val", "where", "while", "with", "withtype", "o", "true", "false", "", "Bool", "String", "Int", "Real", "Word", "Char", "StringCvt", "Word8", "List", "ListPair", "Vector", "TextIO", "BinIO", "div", "mod"},+  },+  { Id=2,+    List={"bool", "string", "int", "real", "word"},+  },+  { Id=4,+    Regex=[[(\w+)\s*\(]],+  },+}++Strings={+  Delimiter=[["]],+}++Comments = {+  { Block = true, Nested = false,+    Delimiter = { [[\(\*]], [[\*\)]] }+  }+}++IgnoreCase=false++Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\*|\%|\+|\-|\'|\.]]++--FIXME no default escchar param: regex(\\\d{3}|\\x\p{XDigit}{2}|\\[ntvbrfa\\\?'"])