Commit Graph

25 Commits (3502c5fbc268f3cc1539e41ef1c3d7a3180dafa0)

Author SHA1 Message Date
Keith Lazuka 405e5d015b docs: change $subsection to $subsections 2009-10-02 12:15:48 -04:00
Slava Pestov fb246e2c85 Documentation fixes 2009-04-06 04:15:58 -05:00
Slava Pestov 47dc534901 Help lint fixes 2009-03-15 23:25:29 -05:00
Doug Coleman 2dcbd5b3db fix docs for a word 2009-02-22 21:26:16 -06:00
slava e29f18a2f4 Trying to fix a bad merge...
Revert "Merge branch 'master' of git://factorcode.org/git/factor"

This reverts commit da639739bd, reversing
changes made to 346a61f497.
2009-02-03 00:27:34 -06:00
Daniel Ehrenberg 8dfc63eb99 Adding Japanese and Chinese encodings to io.encodings docs and io.encodings.iana 2009-02-02 21:20:55 -06:00
Daniel Ehrenberg f660c7e7e8 Cleanup of io.encodings.utf32 2009-02-01 18:54:06 -06:00
Slava Pestov c7c37f5f5c Update I/O docs to talk about elements instead of characters, and add each-block combinator which generalizes contents just like each-line generalizes lines 2009-01-22 19:08:20 -06:00
Doug Coleman 8c7a3c8a81 better docs for io.encodings 2008-11-29 00:30:36 -06:00
Slava Pestov 1d630b6cf2 Minor documentation fixes 2008-11-11 10:51:15 -06:00
Slava Pestov 75fb15ee4c Split stdio up into input-stream/output-stream, pipes work in progress 2008-05-05 02:19:25 -05:00
Slava Pestov 55f6636bc0 FFI string encoding conversion 2008-04-20 05:15:46 -05:00
Daniel Ehrenberg 64203f762d Docs improvements; simplification of design of io.encodings.8-bit 2008-03-26 14:41:09 -04:00
Daniel Ehrenberg 06848c8e75 UTF-16 native order; better encodings docs 2008-03-25 21:17:37 -04:00
Daniel Ehrenberg 7888601949 Change to encodings docs 2008-03-23 00:58:17 -04:00
Daniel Ehrenberg 4cfd62c373 Merge branch 'master' of git://factorcode.org/git/factor 2008-03-21 16:59:40 -04:00
Daniel Ehrenberg fae69bd092 Final fix for 8-bit encodings 2008-03-21 16:57:13 -04:00
Daniel Ehrenberg b362175d43 Initial optimization of encodings 2008-03-18 17:01:14 -04:00
Daniel Ehrenberg ee9b940bc6 Modifications to the encoding protocol for later optimization 2008-03-06 00:23:38 -06:00
Daniel Ehrenberg 946d3e7414 changes in io.encodings.string 2008-03-05 19:12:40 -06:00
Daniel Ehrenberg 93c4ac23a8 Encodings updates; /* */ comments in multline 2008-03-05 14:51:01 -06:00
Daniel Ehrenberg 84052ac5f3 Update to encodings docs 2008-03-04 21:13:14 -06:00
Daniel Ehrenberg 30eba00774 Bug fixes; docs 2008-03-04 21:05:58 -06:00
Daniel Ehrenberg 08a3d0ba12 Making things bootstrap, partial fix for client 2008-02-25 13:54:35 -06:00
Slava Pestov 4b32fa4d05 Fixing help-lint typos 2008-03-20 20:11:45 -05:00