|
|
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 |
|
|
|
9548af52b2
|
texts
|
2023-01-14 09:30:25 +01:00 |
|
|
|
e3dadbfe0f
|
autotokens
|
2023-01-13 18:27:22 +01:00 |
|
