]> gitweb.factorcode.org Git - factor.git/log
factor.git
4 years agowebapps.wiki: moving class description to wiki.css.
John Benediktsson [Fri, 28 Feb 2020 01:21:33 +0000 (17:21 -0800)]
webapps.wiki: moving class description to wiki.css.

4 years agohelp.html: raise line-height to 150%.
John Benediktsson [Fri, 28 Feb 2020 00:49:48 +0000 (16:49 -0800)]
help.html: raise line-height to 150%.

4 years agoRevert "webapps.help: just include the original css instead of duplicating."
John Benediktsson [Fri, 28 Feb 2020 00:41:20 +0000 (16:41 -0800)]
Revert "webapps.help: just include the original css instead of duplicating."

This reverts commit 77b0c45a1399a1712416456f1a2127819c308190.

4 years agowebapps.help: just include the original css instead of duplicating.
John Benediktsson [Fri, 28 Feb 2020 00:27:15 +0000 (16:27 -0800)]
webapps.help: just include the original css instead of duplicating.

4 years agowebapps.help: sync with help.html.
John Benediktsson [Fri, 28 Feb 2020 00:09:03 +0000 (16:09 -0800)]
webapps.help: sync with help.html.

4 years agohelp.html: less css reset.
John Benediktsson [Fri, 28 Feb 2020 00:08:33 +0000 (16:08 -0800)]
help.html: less css reset.

4 years agowebsites.concatenative: move container div to page.xml.
John Benediktsson [Thu, 27 Feb 2020 23:11:55 +0000 (15:11 -0800)]
websites.concatenative: move container div to page.xml.

4 years agowebapps.planet: minor fixes.
John Benediktsson [Thu, 27 Feb 2020 22:44:19 +0000 (14:44 -0800)]
webapps.planet: minor fixes.

4 years agowebapps.pastebin: updated css style.
John Benediktsson [Thu, 27 Feb 2020 22:44:05 +0000 (14:44 -0800)]
webapps.pastebin: updated css style.

4 years agowebapps.planet: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:41:13 +0000 (14:41 -0800)]
webapps.planet: use protocol agnostic link.

4 years agohelp.html: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:40:50 +0000 (14:40 -0800)]
help.html: use protocol agnostic link.

4 years agowebapps.planet: some css cleanup.
John Benediktsson [Thu, 27 Feb 2020 22:28:51 +0000 (14:28 -0800)]
webapps.planet: some css cleanup.

4 years agohelp.html: make these match new wiki css.
John Benediktsson [Thu, 27 Feb 2020 21:15:53 +0000 (13:15 -0800)]
help.html: make these match new wiki css.

4 years agowebapps.wiki: forgot this file.
John Benediktsson [Thu, 27 Feb 2020 20:49:46 +0000 (12:49 -0800)]
webapps.wiki: forgot this file.

4 years agowebsites.concatenative: cleanup css a bit.
John Benediktsson [Thu, 27 Feb 2020 20:49:22 +0000 (12:49 -0800)]
websites.concatenative: cleanup css a bit.

4 years agoextra: Finish renaming a couple words
Doug Coleman [Thu, 27 Feb 2020 01:04:31 +0000 (01:04 +0000)]
extra: Finish renaming a couple words

4 years agowebsites.factorcode: a couple more examples.
John Benediktsson [Thu, 27 Feb 2020 01:00:07 +0000 (17:00 -0800)]
websites.factorcode: a couple more examples.

4 years agowebsites.factorcode: first pass cleanup of website.
John Benediktsson [Thu, 27 Feb 2020 00:46:05 +0000 (16:46 -0800)]
websites.factorcode: first pass cleanup of website.

4 years agomath.vectors: rename "h." to "hdot"
John Benediktsson [Wed, 26 Feb 2020 21:06:52 +0000 (13:06 -0800)]
math.vectors: rename "h." to "hdot"

4 years agomath.vectors.simd: fix typo in simd vdot intrinsic.
John Benediktsson [Wed, 26 Feb 2020 20:56:52 +0000 (12:56 -0800)]
math.vectors.simd: fix typo in simd vdot intrinsic.

4 years agomath.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm.
John Benediktsson [Wed, 26 Feb 2020 20:51:04 +0000 (12:51 -0800)]
math.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm.

4 years agomath.vectors: rename "v." to "vdot"
John Benediktsson [Wed, 26 Feb 2020 20:40:16 +0000 (12:40 -0800)]
math.vectors: rename "v." to "vdot"

4 years agohelp.markup: make sure lists wrap wider.
John Benediktsson [Wed, 26 Feb 2020 20:02:20 +0000 (12:02 -0800)]
help.markup: make sure lists wrap wider.

4 years agofjsc: remove unnecessary stack effects on generic words.
John Benediktsson [Wed, 26 Feb 2020 19:34:23 +0000 (11:34 -0800)]
fjsc: remove unnecessary stack effects on generic words.

4 years agocalendar: remove unnecessary effects on generics.
John Benediktsson [Wed, 26 Feb 2020 19:34:02 +0000 (11:34 -0800)]
calendar: remove unnecessary effects on generics.

4 years agoprettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
John Benediktsson [Wed, 26 Feb 2020 19:18:18 +0000 (11:18 -0800)]
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.

4 years agohelp.markup: cleanup using.
John Benediktsson [Wed, 26 Feb 2020 19:08:13 +0000 (11:08 -0800)]
help.markup: cleanup using.

4 years agoprettyprint.stylesheet: change stack effects to not be green.
John Benediktsson [Wed, 26 Feb 2020 19:07:46 +0000 (11:07 -0800)]
prettyprint.stylesheet: change stack effects to not be green.

4 years agocore/basis/extra: update some tags.txt.
John Benediktsson [Wed, 26 Feb 2020 18:57:08 +0000 (10:57 -0800)]
core/basis/extra: update some tags.txt.

4 years agoxml.writer: remove M\ number write-xml.
John Benediktsson [Wed, 26 Feb 2020 18:24:23 +0000 (10:24 -0800)]
xml.writer: remove M\ number write-xml.

This is likely an artifact from when numbers were treated as sequences,
which isn't needed anymore.

4 years agohelp.html: assume even padding started out odd.
John Benediktsson [Wed, 26 Feb 2020 18:03:35 +0000 (10:03 -0800)]
help.html: assume even padding started out odd.

4 years agohelp.html: clone attrs in css-styles-to-classes and double padding.
John Benediktsson [Wed, 26 Feb 2020 17:44:14 +0000 (09:44 -0800)]
help.html: clone attrs in css-styles-to-classes and double padding.

4 years agohelp.markup: change $breadcrumbs to unicode.
John Benediktsson [Wed, 26 Feb 2020 17:40:27 +0000 (09:40 -0800)]
help.markup: change $breadcrumbs to unicode.

4 years agoui.tools.browser: use unicode next/prev arrows.
John Benediktsson [Wed, 26 Feb 2020 17:22:48 +0000 (09:22 -0800)]
ui.tools.browser: use unicode next/prev arrows.

4 years agoui.gadgets.panes: simplify <styled-label>.
John Benediktsson [Tue, 25 Feb 2020 20:33:01 +0000 (12:33 -0800)]
ui.gadgets.panes: simplify <styled-label>.

4 years agohtml.streams: allow div-css-style to use span-css-style.
John Benediktsson [Tue, 25 Feb 2020 20:30:51 +0000 (12:30 -0800)]
html.streams: allow div-css-style to use span-css-style.

4 years agoRevert "html.streams: use style-stream."
John Benediktsson [Tue, 25 Feb 2020 20:10:42 +0000 (12:10 -0800)]
Revert "html.streams: use style-stream."

This reverts commit 6f9a7dcc9ecab062314dec58a4b00abdafd1583f.

4 years agovm: use FILE_READ_ATTRIBUTES to make exists? faster.
John Benediktsson [Tue, 25 Feb 2020 19:05:17 +0000 (11:05 -0800)]
vm: use FILE_READ_ATTRIBUTES to make exists? faster.

4 years agolists: check for errors like L{ . 3 }.
John Benediktsson [Mon, 24 Feb 2020 17:11:46 +0000 (09:11 -0800)]
lists: check for errors like L{ . 3 }.

4 years agolists: make multiple dots a syntax error.
John Benediktsson [Sun, 23 Feb 2020 15:29:02 +0000 (07:29 -0800)]
lists: make multiple dots a syntax error.

4 years agohelp.html: don't use sprintf.
John Benediktsson [Sun, 23 Feb 2020 04:40:11 +0000 (20:40 -0800)]
help.html: don't use sprintf.

4 years agolists: simplify parse-list-literal to fix bootstrap issue.
John Benediktsson [Sun, 23 Feb 2020 04:37:10 +0000 (20:37 -0800)]
lists: simplify parse-list-literal to fix bootstrap issue.

4 years agolists.factor: rest: --> .
kusumotonorio [Sat, 15 Feb 2020 13:29:10 +0000 (22:29 +0900)]
lists.factor: rest: --> .

4 years agolists.factor: Added some vocab
kusumotonorio [Sat, 15 Feb 2020 13:19:38 +0000 (22:19 +0900)]
lists.factor: Added some vocab

4 years agoSupports dotted pair notation
kusumotonorio [Sat, 15 Feb 2020 13:04:08 +0000 (22:04 +0900)]
Supports dotted pair notation

4 years agoRevert "help.markup: separate examples using newlines."
John Benediktsson [Sun, 23 Feb 2020 03:49:41 +0000 (19:49 -0800)]
Revert "help.markup: separate examples using newlines."

This reverts commit 76fcbdc690ac77f60831f25656d8b0cc0d328f37.

4 years agohelp.stylesheet: make some fonts bigger.
John Benediktsson [Thu, 20 Feb 2020 05:55:29 +0000 (21:55 -0800)]
help.stylesheet: make some fonts bigger.

4 years agohelp: simplify navigation-table.
John Benediktsson [Thu, 20 Feb 2020 05:42:25 +0000 (21:42 -0800)]
help: simplify navigation-table.

4 years agohelp.markup: separate examples using newlines.
John Benediktsson [Thu, 20 Feb 2020 03:57:10 +0000 (19:57 -0800)]
help.markup: separate examples using newlines.

4 years agoui.tools.browser: change $navigation to not use title-style.
John Benediktsson [Thu, 20 Feb 2020 03:56:43 +0000 (19:56 -0800)]
ui.tools.browser: change $navigation to not use title-style.

4 years agoui.gadgets.panes: change approach to nested-pane-stream.
John Benediktsson [Thu, 20 Feb 2020 03:54:53 +0000 (19:54 -0800)]
ui.gadgets.panes: change approach to nested-pane-stream.

4 years agoio.styles: change style-stream to inherit all styles by default.
John Benediktsson [Thu, 20 Feb 2020 03:53:21 +0000 (19:53 -0800)]
io.styles: change style-stream to inherit all styles by default.

4 years agoui.tools.error-list: adding table header emphasis.
John Benediktsson [Thu, 20 Feb 2020 03:22:07 +0000 (19:22 -0800)]
ui.tools.error-list: adding table header emphasis.

4 years agosyndication: Property can be present but f, handle this.
Doug Coleman [Wed, 19 Feb 2020 00:43:49 +0000 (18:43 -0600)]
syndication: Property can be present but f, handle this.

Test case:
    "http://www.spreaker.com/show/2952221/episodes/feed" http-get nip parse-feed

4 years agofactorcode: Friendship ended with RACKSPACE. Now DIGITALOCEAN is my best friend
Doug Coleman [Tue, 18 Feb 2020 20:18:53 +0000 (14:18 -0600)]
factorcode: Friendship ended with RACKSPACE. Now DIGITALOCEAN is my best friend

4 years agohelp.html: cleanup stylesheet a bit.
John Benediktsson [Mon, 17 Feb 2020 22:50:48 +0000 (14:50 -0800)]
help.html: cleanup stylesheet a bit.

4 years agohelp.html: change fixed font-size to relative.
John Benediktsson [Mon, 17 Feb 2020 22:50:30 +0000 (14:50 -0800)]
help.html: change fixed font-size to relative.

4 years agoRevert "io.streams.ansi: use call-next-method."
John Benediktsson [Mon, 17 Feb 2020 15:09:12 +0000 (07:09 -0800)]
Revert "io.streams.ansi: use call-next-method."

This reverts commit dbb83b7100fc67714b009b3945516740bbf360d5.

4 years agoRevert "io.streams.256color: use call-next-method."
John Benediktsson [Mon, 17 Feb 2020 15:08:56 +0000 (07:08 -0800)]
Revert "io.streams.256color: use call-next-method."

This reverts commit 4af73340d24a1ede9639982c05122c255e1dbf87.

4 years agohelp.markup: adding a $slots word to document slots, use it.
John Benediktsson [Mon, 17 Feb 2020 06:36:19 +0000 (22:36 -0800)]
help.markup: adding a $slots word to document slots, use it.

4 years agoui.gadgets.panes: make it clear that pane/pack/paragraph are not streams.
John Benediktsson [Mon, 17 Feb 2020 03:23:29 +0000 (19:23 -0800)]
ui.gadgets.panes: make it clear that pane/pack/paragraph are not streams.

4 years agoui.gadgets.pane: rename pane-clear to clear-pane.
John Benediktsson [Mon, 17 Feb 2020 03:17:29 +0000 (19:17 -0800)]
ui.gadgets.pane: rename pane-clear to clear-pane.

4 years agohelp.html: support style/class replacement in more tags.
John Benediktsson [Sat, 15 Feb 2020 18:27:22 +0000 (10:27 -0800)]
help.html: support style/class replacement in more tags.

4 years agoio.streams.ansi: use call-next-method.
John Benediktsson [Sat, 15 Feb 2020 17:36:06 +0000 (09:36 -0800)]
io.streams.ansi: use call-next-method.

4 years agoio.streams.256color: use call-next-method.
John Benediktsson [Sat, 15 Feb 2020 17:35:57 +0000 (09:35 -0800)]
io.streams.256color: use call-next-method.

4 years agoui.gadgets.panes: use style-stream.
John Benediktsson [Sat, 15 Feb 2020 17:35:09 +0000 (09:35 -0800)]
ui.gadgets.panes: use style-stream.

4 years agohtml.streams: use style-stream.
John Benediktsson [Sat, 15 Feb 2020 17:33:55 +0000 (09:33 -0800)]
html.streams: use style-stream.

4 years agoio.styles: rename do-nested-style, make private.
John Benediktsson [Sat, 15 Feb 2020 17:22:41 +0000 (09:22 -0800)]
io.styles: rename do-nested-style, make private.

4 years agoio.streams.256color: use filter-writer.
John Benediktsson [Sat, 15 Feb 2020 16:57:18 +0000 (08:57 -0800)]
io.streams.256color: use filter-writer.

4 years agoio.streams.ansi: use filter-writer.
John Benediktsson [Sat, 15 Feb 2020 16:57:09 +0000 (08:57 -0800)]
io.streams.ansi: use filter-writer.

4 years agoio.styles: only allow character styles to inherit.
John Benediktsson [Sat, 15 Feb 2020 16:42:06 +0000 (08:42 -0800)]
io.styles: only allow character styles to inherit.

4 years agoslides: unify default-style and code-style.
John Benediktsson [Sat, 15 Feb 2020 16:40:44 +0000 (08:40 -0800)]
slides: unify default-style and code-style.

4 years agohelp: unify code-char-style and code-style.
John Benediktsson [Sat, 15 Feb 2020 16:40:21 +0000 (08:40 -0800)]
help: unify code-char-style and code-style.

4 years agohelp.html: vertical-align images.
John Benediktsson [Sat, 15 Feb 2020 06:31:12 +0000 (22:31 -0800)]
help.html: vertical-align images.

4 years agohelp.markup: change default-style to use with-nesting.
John Benediktsson [Sat, 15 Feb 2020 06:18:38 +0000 (22:18 -0800)]
help.markup: change default-style to use with-nesting.

4 years agohelp: change $title to only use with-nesting.
John Benediktsson [Sat, 15 Feb 2020 06:17:41 +0000 (22:17 -0800)]
help: change $title to only use with-nesting.

4 years agoio.styles: simplify style-stream by depending on style words.
John Benediktsson [Sat, 15 Feb 2020 05:28:05 +0000 (21:28 -0800)]
io.styles: simplify style-stream by depending on style words.

4 years agohelp.html: whoops, need to remove the extra links.
John Benediktsson [Fri, 14 Feb 2020 05:52:43 +0000 (21:52 -0800)]
help.html: whoops, need to remove the extra links.

4 years agohelp.html: tweak the navbar a bit.
John Benediktsson [Fri, 14 Feb 2020 05:43:24 +0000 (21:43 -0800)]
help.html: tweak the navbar a bit.

4 years agohelp.html: use max-width for content.
John Benediktsson [Fri, 14 Feb 2020 05:07:25 +0000 (21:07 -0800)]
help.html: use max-width for content.

4 years agohelp.html: wrap contents in a div, update style a little.
John Benediktsson [Fri, 14 Feb 2020 05:01:47 +0000 (21:01 -0800)]
help.html: wrap contents in a div, update style a little.

4 years agohelp: change $title to nest then style.
John Benediktsson [Fri, 14 Feb 2020 05:01:03 +0000 (21:01 -0800)]
help: change $title to nest then style.

This changnes the HTML we produce to look like:

    <div><span>...</span></div>

Instead of:

    <span><div>...</div></span>

4 years agohelp.markup: more bold table headings.
John Benediktsson [Thu, 13 Feb 2020 23:20:17 +0000 (15:20 -0800)]
help.markup: more bold table headings.

4 years agohelp: add more bold table headings.
John Benediktsson [Thu, 13 Feb 2020 23:18:43 +0000 (15:18 -0800)]
help: add more bold table headings.

4 years agohelp: add some bold table headings.
John Benediktsson [Thu, 13 Feb 2020 23:07:15 +0000 (15:07 -0800)]
help: add some bold table headings.

4 years agobootstrap.image: define MAIN: to make-my-image.
John Benediktsson [Thu, 13 Feb 2020 22:56:35 +0000 (14:56 -0800)]
bootstrap.image: define MAIN: to make-my-image.

4 years agogeneric.math: some minor cleanup.
John Benediktsson [Thu, 13 Feb 2020 22:54:46 +0000 (14:54 -0800)]
generic.math: some minor cleanup.

4 years agomarkov-chains: initial implementation.
John Benediktsson [Thu, 13 Feb 2020 20:56:09 +0000 (12:56 -0800)]
markov-chains: initial implementation.

4 years agowindows.gdiplus: flags{ } is in literals, fix using
Doug Coleman [Thu, 13 Feb 2020 03:24:04 +0000 (06:24 +0300)]
windows.gdiplus: flags{ } is in literals, fix using

4 years agogpu.framebuffers: simplify bitor.
John Benediktsson [Thu, 13 Feb 2020 01:00:34 +0000 (17:00 -0800)]
gpu.framebuffers: simplify bitor.

4 years agoopencl: use flags{ }.
John Benediktsson [Thu, 13 Feb 2020 01:00:19 +0000 (17:00 -0800)]
opencl: use flags{ }.

4 years agoio.files.trash.windows: using flags{ }.
John Benediktsson [Wed, 12 Feb 2020 22:33:30 +0000 (14:33 -0800)]
io.files.trash.windows: using flags{ }.

4 years agovocabs.loader: fix alignment of last patch.
John Benediktsson [Wed, 12 Feb 2020 21:54:11 +0000 (13:54 -0800)]
vocabs.loader: fix alignment of last patch.

4 years agovocabs.loader: prevent create-vocab if check-vocab fails.
John Benediktsson [Wed, 12 Feb 2020 16:42:56 +0000 (08:42 -0800)]
vocabs.loader: prevent create-vocab if check-vocab fails.

4 years agotetris.game: fix tests.
John Benediktsson [Wed, 12 Feb 2020 16:38:41 +0000 (08:38 -0800)]
tetris.game: fix tests.

4 years agox11.xim: fix use of flags.
John Benediktsson [Wed, 12 Feb 2020 16:37:13 +0000 (08:37 -0800)]
x11.xim: fix use of flags.

4 years agotetris: some cleanup, simplify.
John Benediktsson [Tue, 11 Feb 2020 21:57:19 +0000 (13:57 -0800)]
tetris: some cleanup, simplify.

4 years agocore/basis/extra: use flags{ } in places.
John Benediktsson [Tue, 11 Feb 2020 21:27:42 +0000 (13:27 -0800)]
core/basis/extra: use flags{ } in places.

4 years agoio.directories.windows: don't need to wrap.
John Benediktsson [Tue, 11 Feb 2020 21:25:44 +0000 (13:25 -0800)]
io.directories.windows: don't need to wrap.

4 years agovocabs.hierarchy: change sorting to sort visible-dirs.
John Benediktsson [Sun, 9 Feb 2020 18:00:18 +0000 (10:00 -0800)]
vocabs.hierarchy: change sorting to sort visible-dirs.