]>
gitweb.factorcode.org Git - factor.git/log
John Benediktsson [Fri, 28 Feb 2020 01:21:33 +0000 (17:21 -0800)]
webapps.wiki: moving class description to wiki.css.
John Benediktsson [Fri, 28 Feb 2020 00:49:48 +0000 (16:49 -0800)]
help.html: raise line-height to 150%.
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.
John Benediktsson [Fri, 28 Feb 2020 00:27:15 +0000 (16:27 -0800)]
webapps.help: just include the original css instead of duplicating.
John Benediktsson [Fri, 28 Feb 2020 00:09:03 +0000 (16:09 -0800)]
webapps.help: sync with help.html.
John Benediktsson [Fri, 28 Feb 2020 00:08:33 +0000 (16:08 -0800)]
help.html: less css reset.
John Benediktsson [Thu, 27 Feb 2020 23:11:55 +0000 (15:11 -0800)]
websites.concatenative: move container div to page.xml.
John Benediktsson [Thu, 27 Feb 2020 22:44:19 +0000 (14:44 -0800)]
webapps.planet: minor fixes.
John Benediktsson [Thu, 27 Feb 2020 22:44:05 +0000 (14:44 -0800)]
webapps.pastebin: updated css style.
John Benediktsson [Thu, 27 Feb 2020 22:41:13 +0000 (14:41 -0800)]
webapps.planet: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:40:50 +0000 (14:40 -0800)]
help.html: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:28:51 +0000 (14:28 -0800)]
webapps.planet: some css cleanup.
John Benediktsson [Thu, 27 Feb 2020 21:15:53 +0000 (13:15 -0800)]
help.html: make these match new wiki css.
John Benediktsson [Thu, 27 Feb 2020 20:49:46 +0000 (12:49 -0800)]
webapps.wiki: forgot this file.
John Benediktsson [Thu, 27 Feb 2020 20:49:22 +0000 (12:49 -0800)]
websites.concatenative: cleanup css a bit.
Doug Coleman [Thu, 27 Feb 2020 01:04:31 +0000 (01:04 +0000)]
extra: Finish renaming a couple words
John Benediktsson [Thu, 27 Feb 2020 01:00:07 +0000 (17:00 -0800)]
websites.factorcode: a couple more examples.
John Benediktsson [Thu, 27 Feb 2020 00:46:05 +0000 (16:46 -0800)]
websites.factorcode: first pass cleanup of website.
John Benediktsson [Wed, 26 Feb 2020 21:06:52 +0000 (13:06 -0800)]
math.vectors: rename "h." to "hdot"
John Benediktsson [Wed, 26 Feb 2020 20:56:52 +0000 (12:56 -0800)]
math.vectors.simd: fix typo in simd vdot intrinsic.
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.
John Benediktsson [Wed, 26 Feb 2020 20:40:16 +0000 (12:40 -0800)]
math.vectors: rename "v." to "vdot"
John Benediktsson [Wed, 26 Feb 2020 20:02:20 +0000 (12:02 -0800)]
help.markup: make sure lists wrap wider.
John Benediktsson [Wed, 26 Feb 2020 19:34:23 +0000 (11:34 -0800)]
fjsc: remove unnecessary stack effects on generic words.
John Benediktsson [Wed, 26 Feb 2020 19:34:02 +0000 (11:34 -0800)]
calendar: remove unnecessary effects on generics.
John Benediktsson [Wed, 26 Feb 2020 19:18:18 +0000 (11:18 -0800)]
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
John Benediktsson [Wed, 26 Feb 2020 19:08:13 +0000 (11:08 -0800)]
help.markup: cleanup using.
John Benediktsson [Wed, 26 Feb 2020 19:07:46 +0000 (11:07 -0800)]
prettyprint.stylesheet: change stack effects to not be green.
John Benediktsson [Wed, 26 Feb 2020 18:57:08 +0000 (10:57 -0800)]
core/basis/extra: update some tags.txt.
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.
John Benediktsson [Wed, 26 Feb 2020 18:03:35 +0000 (10:03 -0800)]
help.html: assume even padding started out odd.
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.
John Benediktsson [Wed, 26 Feb 2020 17:40:27 +0000 (09:40 -0800)]
help.markup: change $breadcrumbs to unicode.
John Benediktsson [Wed, 26 Feb 2020 17:22:48 +0000 (09:22 -0800)]
ui.tools.browser: use unicode next/prev arrows.
John Benediktsson [Tue, 25 Feb 2020 20:33:01 +0000 (12:33 -0800)]
ui.gadgets.panes: simplify <styled-label>.
John Benediktsson [Tue, 25 Feb 2020 20:30:51 +0000 (12:30 -0800)]
html.streams: allow div-css-style to use span-css-style.
John Benediktsson [Tue, 25 Feb 2020 20:10:42 +0000 (12:10 -0800)]
Revert "html.streams: use style-stream."
This reverts commit
6f9a7dcc9ecab062314dec58a4b00abdafd1583f.
John Benediktsson [Tue, 25 Feb 2020 19:05:17 +0000 (11:05 -0800)]
vm: use FILE_READ_ATTRIBUTES to make exists? faster.
John Benediktsson [Mon, 24 Feb 2020 17:11:46 +0000 (09:11 -0800)]
lists: check for errors like L{ . 3 }.
John Benediktsson [Sun, 23 Feb 2020 15:29:02 +0000 (07:29 -0800)]
lists: make multiple dots a syntax error.
John Benediktsson [Sun, 23 Feb 2020 04:40:11 +0000 (20:40 -0800)]
help.html: don't use sprintf.
John Benediktsson [Sun, 23 Feb 2020 04:37:10 +0000 (20:37 -0800)]
lists: simplify parse-list-literal to fix bootstrap issue.
kusumotonorio [Sat, 15 Feb 2020 13:29:10 +0000 (22:29 +0900)]
lists.factor: rest: --> .
kusumotonorio [Sat, 15 Feb 2020 13:19:38 +0000 (22:19 +0900)]
lists.factor: Added some vocab
kusumotonorio [Sat, 15 Feb 2020 13:04:08 +0000 (22:04 +0900)]
Supports dotted pair notation
John Benediktsson [Sun, 23 Feb 2020 03:49:41 +0000 (19:49 -0800)]
Revert "help.markup: separate examples using newlines."
This reverts commit
76fcbdc690ac77f60831f25656d8b0cc0d328f37.
John Benediktsson [Thu, 20 Feb 2020 05:55:29 +0000 (21:55 -0800)]
help.stylesheet: make some fonts bigger.
John Benediktsson [Thu, 20 Feb 2020 05:42:25 +0000 (21:42 -0800)]
help: simplify navigation-table.
John Benediktsson [Thu, 20 Feb 2020 03:57:10 +0000 (19:57 -0800)]
help.markup: separate examples using newlines.
John Benediktsson [Thu, 20 Feb 2020 03:56:43 +0000 (19:56 -0800)]
ui.tools.browser: change $navigation to not use title-style.
John Benediktsson [Thu, 20 Feb 2020 03:54:53 +0000 (19:54 -0800)]
ui.gadgets.panes: change approach to nested-pane-stream.
John Benediktsson [Thu, 20 Feb 2020 03:53:21 +0000 (19:53 -0800)]
io.styles: change style-stream to inherit all styles by default.
John Benediktsson [Thu, 20 Feb 2020 03:22:07 +0000 (19:22 -0800)]
ui.tools.error-list: adding table header emphasis.
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
Doug Coleman [Tue, 18 Feb 2020 20:18:53 +0000 (14:18 -0600)]
factorcode: Friendship ended with RACKSPACE. Now DIGITALOCEAN is my best friend
John Benediktsson [Mon, 17 Feb 2020 22:50:48 +0000 (14:50 -0800)]
help.html: cleanup stylesheet a bit.
John Benediktsson [Mon, 17 Feb 2020 22:50:30 +0000 (14:50 -0800)]
help.html: change fixed font-size to relative.
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.
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.
John Benediktsson [Mon, 17 Feb 2020 06:36:19 +0000 (22:36 -0800)]
help.markup: adding a $slots word to document slots, use it.
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.
John Benediktsson [Mon, 17 Feb 2020 03:17:29 +0000 (19:17 -0800)]
ui.gadgets.pane: rename pane-clear to clear-pane.
John Benediktsson [Sat, 15 Feb 2020 18:27:22 +0000 (10:27 -0800)]
help.html: support style/class replacement in more tags.
John Benediktsson [Sat, 15 Feb 2020 17:36:06 +0000 (09:36 -0800)]
io.streams.ansi: use call-next-method.
John Benediktsson [Sat, 15 Feb 2020 17:35:57 +0000 (09:35 -0800)]
io.streams.256color: use call-next-method.
John Benediktsson [Sat, 15 Feb 2020 17:35:09 +0000 (09:35 -0800)]
ui.gadgets.panes: use style-stream.
John Benediktsson [Sat, 15 Feb 2020 17:33:55 +0000 (09:33 -0800)]
html.streams: use style-stream.
John Benediktsson [Sat, 15 Feb 2020 17:22:41 +0000 (09:22 -0800)]
io.styles: rename do-nested-style, make private.
John Benediktsson [Sat, 15 Feb 2020 16:57:18 +0000 (08:57 -0800)]
io.streams.256color: use filter-writer.
John Benediktsson [Sat, 15 Feb 2020 16:57:09 +0000 (08:57 -0800)]
io.streams.ansi: use filter-writer.
John Benediktsson [Sat, 15 Feb 2020 16:42:06 +0000 (08:42 -0800)]
io.styles: only allow character styles to inherit.
John Benediktsson [Sat, 15 Feb 2020 16:40:44 +0000 (08:40 -0800)]
slides: unify default-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.
John Benediktsson [Sat, 15 Feb 2020 06:31:12 +0000 (22:31 -0800)]
help.html: vertical-align images.
John Benediktsson [Sat, 15 Feb 2020 06:18:38 +0000 (22:18 -0800)]
help.markup: change default-style to use with-nesting.
John Benediktsson [Sat, 15 Feb 2020 06:17:41 +0000 (22:17 -0800)]
help: change $title to only use with-nesting.
John Benediktsson [Sat, 15 Feb 2020 05:28:05 +0000 (21:28 -0800)]
io.styles: simplify style-stream by depending on style words.
John Benediktsson [Fri, 14 Feb 2020 05:52:43 +0000 (21:52 -0800)]
help.html: whoops, need to remove the extra links.
John Benediktsson [Fri, 14 Feb 2020 05:43:24 +0000 (21:43 -0800)]
help.html: tweak the navbar a bit.
John Benediktsson [Fri, 14 Feb 2020 05:07:25 +0000 (21:07 -0800)]
help.html: use max-width for content.
John Benediktsson [Fri, 14 Feb 2020 05:01:47 +0000 (21:01 -0800)]
help.html: wrap contents in a div, update style a little.
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>
John Benediktsson [Thu, 13 Feb 2020 23:20:17 +0000 (15:20 -0800)]
help.markup: more bold table headings.
John Benediktsson [Thu, 13 Feb 2020 23:18:43 +0000 (15:18 -0800)]
help: add more bold table headings.
John Benediktsson [Thu, 13 Feb 2020 23:07:15 +0000 (15:07 -0800)]
help: add some bold table headings.
John Benediktsson [Thu, 13 Feb 2020 22:56:35 +0000 (14:56 -0800)]
bootstrap.image: define MAIN: to make-my-image.
John Benediktsson [Thu, 13 Feb 2020 22:54:46 +0000 (14:54 -0800)]
generic.math: some minor cleanup.
John Benediktsson [Thu, 13 Feb 2020 20:56:09 +0000 (12:56 -0800)]
markov-chains: initial implementation.
Doug Coleman [Thu, 13 Feb 2020 03:24:04 +0000 (06:24 +0300)]
windows.gdiplus: flags{ } is in literals, fix using
John Benediktsson [Thu, 13 Feb 2020 01:00:34 +0000 (17:00 -0800)]
gpu.framebuffers: simplify bitor.
John Benediktsson [Thu, 13 Feb 2020 01:00:19 +0000 (17:00 -0800)]
opencl: use flags{ }.
John Benediktsson [Wed, 12 Feb 2020 22:33:30 +0000 (14:33 -0800)]
io.files.trash.windows: using flags{ }.
John Benediktsson [Wed, 12 Feb 2020 21:54:11 +0000 (13:54 -0800)]
vocabs.loader: fix alignment of last patch.
John Benediktsson [Wed, 12 Feb 2020 16:42:56 +0000 (08:42 -0800)]
vocabs.loader: prevent create-vocab if check-vocab fails.
John Benediktsson [Wed, 12 Feb 2020 16:38:41 +0000 (08:38 -0800)]
tetris.game: fix tests.
John Benediktsson [Wed, 12 Feb 2020 16:37:13 +0000 (08:37 -0800)]
x11.xim: fix use of flags.
John Benediktsson [Tue, 11 Feb 2020 21:57:19 +0000 (13:57 -0800)]
tetris: some cleanup, simplify.
John Benediktsson [Tue, 11 Feb 2020 21:27:42 +0000 (13:27 -0800)]
core/basis/extra: use flags{ } in places.
John Benediktsson [Tue, 11 Feb 2020 21:25:44 +0000 (13:25 -0800)]
io.directories.windows: don't need to wrap.
John Benediktsson [Sun, 9 Feb 2020 18:00:18 +0000 (10:00 -0800)]
vocabs.hierarchy: change sorting to sort visible-dirs.