|
|
47f35d29ac
|
fix
|
2023-01-27 14:32:18 +01:00 |
|
|
|
bd2cb4cd1c
|
more default tokens
|
2023-01-20 12:22:29 +01:00 |
|
|
|
67cfe4f6d4
|
nits
|
2023-01-19 22:24:24 +01:00 |
|
|
|
86d3c65559
|
nit
|
2023-01-19 15:59:57 +01:00 |
|
|
|
afff6f642c
|
optimize
|
2023-01-19 13:41:48 +01:00 |
|
|
|
eeca3a0b29
|
lots of fixes
|
2023-01-19 11:52:19 +01:00 |
|
|
|
151a8facae
|
autotokens: stats
|
2023-01-18 23:16:18 +01:00 |
|
|
|
45567791c6
|
autotokens: define disable splice
|
2023-01-18 23:09:16 +01:00 |
|
|
|
17752465e6
|
nit
|
2023-01-18 22:31:55 +01:00 |
|
|
|
14d8eb9e40
|
autotoken: splicing; splice_optout
|
2023-01-18 22:17:14 +01:00 |
|
|
|
22f757a169
|
fix
|
2023-01-18 14:33:06 +01:00 |
|
|
|
0db662db7b
|
fix
|
2023-01-18 14:21:44 +01:00 |
|
|
|
70f4b456fa
|
fixes
|
2023-01-18 13:58:27 +01:00 |
|
|
|
a41fd5cc5c
|
alternate tokenize, options
|
2023-01-18 11:46:28 +01:00 |
|
|
|
efe57c9368
|
more whitespace
|
2023-01-17 09:57:23 +01:00 |
|
|
|
33f41e3974
|
autotokens: print stats at exit
|
2023-01-17 09:52:35 +01:00 |
|
|
|
4b915207c4
|
autotokens - much better tokenizer
|
2023-01-16 17:05:04 +01:00 |
|
|
|
10b82c7277
|
fixes
|
2023-01-15 18:17:28 +01:00 |
|
|
|
35801bed7a
|
dictionary support
|
2023-01-15 13:47:31 +01:00 |
|
|
|
e3dadbfe0f
|
autotokens
|
2023-01-13 18:27:22 +01:00 |
|
