| .. |
|
autoencoding
|
core, basis, extra: Remove DOS line endings from files.
|
2015-06-29 17:25:40 -07:00 |
|
char-classes
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
|
data
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
dtd
|
Adding escaping to CHAR: " -> CHAR: \"
|
2016-09-04 06:40:43 +02:00 |
|
elements
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
|
entities
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
errors
|
xml.errors: fix xml error.
|
2015-08-13 00:04:16 -07:00 |
|
name
|
using [ ] [ ... ] ?if instead of [ nip ] [ ... ] if*.
|
2016-07-11 19:50:37 -07:00 |
|
state
|
xml: 25% (or more) faster.
|
2011-09-30 12:47:38 -07:00 |
|
syntax
|
Factor: Rename <enum> to <enumerated> to not confuse with ENUM:s
|
2017-07-03 12:47:19 -07:00 |
|
tests
|
core: Add the shuffler words but without primitives.
|
2018-06-19 22:52:58 -05:00 |
|
tokenize
|
core: Add the shuffler words but without primitives.
|
2018-06-19 22:52:58 -05:00 |
|
traversal
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
writer
|
xml.writer: remove M\ number write-xml.
|
2020-02-26 10:24:23 -08:00 |
|
authors.txt
|
…
|
|
|
summary.txt
|
…
|
|
|
tags.txt
|
basis/,core/,extra/: many new tags
|
2017-07-06 23:04:18 +02:00 |
|
xml-docs.factor
|
xml: add some $quotation help.
|
2015-07-18 10:57:45 -07:00 |
|
xml.factor
|
core/basis/extra: use none?.
|
2018-02-14 11:56:31 -08:00 |
522f30e520