]>
gitweb.factorcode.org Git - factor.git/log
John Benediktsson [Tue, 3 Mar 2020 17:46:32 +0000 (09:46 -0800)]
pdf.canvas: add concept of line-height multiplier.
John Benediktsson [Tue, 3 Mar 2020 16:09:52 +0000 (08:09 -0800)]
logic.examples: cleanup, make hanoi tests assert output.
kusumotonorio [Tue, 3 Mar 2020 12:16:52 +0000 (21:16 +0900)]
logic.factor: [ quot call( -- ) ] --> quot
kusumotonorio [Tue, 3 Mar 2020 12:04:46 +0000 (21:04 +0900)]
factlog vocab ==> logic vocab
kusumotonorio [Tue, 3 Mar 2020 12:03:14 +0000 (21:03 +0900)]
Rename directory, files.
kusumotonorio [Mon, 2 Mar 2020 11:21:17 +0000 (20:21 +0900)]
catb0t's PR: add a Prolog-like %! ... multiline comment #6
kusumotonorio [Sun, 1 Mar 2020 09:19:07 +0000 (18:19 +0900)]
factlog
John Benediktsson [Tue, 3 Mar 2020 03:01:01 +0000 (19:01 -0800)]
html.templates.chloe: adding missing tests.
John Benediktsson [Tue, 3 Mar 2020 01:07:30 +0000 (17:07 -0800)]
webapps.planet: use factor color.
John Benediktsson [Tue, 3 Mar 2020 01:03:25 +0000 (17:03 -0800)]
webapps.wiki: remove footer border-top.
John Benediktsson [Tue, 3 Mar 2020 01:01:01 +0000 (17:01 -0800)]
websites.concatenative: navbar background.
John Benediktsson [Tue, 3 Mar 2020 00:07:09 +0000 (16:07 -0800)]
webapps.wiki: better spacing on article list.
John Benediktsson [Mon, 2 Mar 2020 23:57:19 +0000 (15:57 -0800)]
html.templates: adding meta tag and some chloe tests.
John Benediktsson [Mon, 2 Mar 2020 23:40:37 +0000 (15:40 -0800)]
tools.errors: fix to match current behavior: "show".
John Benediktsson [Mon, 2 Mar 2020 23:40:22 +0000 (15:40 -0800)]
bootstrap.image: add make-my-image to docs.
John Benediktsson [Mon, 2 Mar 2020 23:39:53 +0000 (15:39 -0800)]
webapps: remove floating factorcode.org links.
John Benediktsson [Mon, 2 Mar 2020 16:48:25 +0000 (08:48 -0800)]
webapps.help: matching style for navbar.
John Benediktsson [Mon, 2 Mar 2020 16:44:17 +0000 (08:44 -0800)]
websites.concatenative: make navbar use line-height.
John Benediktsson [Mon, 2 Mar 2020 16:40:23 +0000 (08:40 -0800)]
webapps.wiki: 24px hamburger instead of 32px.
John Benediktsson [Mon, 2 Mar 2020 15:03:55 +0000 (07:03 -0800)]
webapps.help: responsive search.
John Benediktsson [Mon, 2 Mar 2020 04:50:58 +0000 (20:50 -0800)]
extra: moving hash-sets.numbers, hashtables.numbers to basis.
John Benediktsson [Mon, 2 Mar 2020 02:32:47 +0000 (18:32 -0800)]
help.html: move pre-wrap to css style fixup.
John Benediktsson [Mon, 2 Mar 2020 02:32:35 +0000 (18:32 -0800)]
html.streams: fix tests.
John Benediktsson [Sun, 1 Mar 2020 22:41:03 +0000 (14:41 -0800)]
webapps.planet: a bit more style.
John Benediktsson [Sun, 1 Mar 2020 22:35:04 +0000 (14:35 -0800)]
webapps.planet: more responsive css.
John Benediktsson [Sun, 1 Mar 2020 21:49:06 +0000 (13:49 -0800)]
webapps.planet: use div to style post body.
John Benediktsson [Sun, 1 Mar 2020 21:46:41 +0000 (13:46 -0800)]
webapps.pastebin: more padding.
John Benediktsson [Sun, 1 Mar 2020 21:46:27 +0000 (13:46 -0800)]
webapps.wiki: style the header.
John Benediktsson [Sun, 1 Mar 2020 21:31:08 +0000 (13:31 -0800)]
webapps.wiki: tweak line-height to fix issue with title.
John Benediktsson [Sun, 1 Mar 2020 20:20:32 +0000 (12:20 -0800)]
webapps.wiki: simplify and fix resize issue on mobile.
John Benediktsson [Sun, 1 Mar 2020 20:12:08 +0000 (12:12 -0800)]
webapps.wiki: some responsive css (and JS for hamburger menu).
John Benediktsson [Sun, 1 Mar 2020 20:11:31 +0000 (12:11 -0800)]
websites.concatenative: write script (if any) from children.
John Benediktsson [Sun, 1 Mar 2020 20:05:59 +0000 (12:05 -0800)]
html.templates: adding t:script and t:write-script.
John Benediktsson [Sun, 1 Mar 2020 18:26:47 +0000 (10:26 -0800)]
help.html: more responsive help docs.
John Benediktsson [Sun, 1 Mar 2020 17:57:10 +0000 (09:57 -0800)]
html.streams: monospace uses pre-wrap, wrap-margin sets width.
Cat Stevens [Sun, 1 Mar 2020 02:46:38 +0000 (21:46 -0500)]
math.matrices: fix/rename mnorm, update all norms
closes #2244
- `mnorm` has been renamed to `normalize-matrix`
to reflect what it actually does, which
is normalize a matrix, not find a norm
of a matrix.
- `mnorm` is no longer a word defined here.
- bugfix: previously, `normalize-matrix` found
the supremum of a matrix (`mmax`),
before taking the supremum's absolute
value (`abs`) and dividing the matrix
by it (`m/n`).
for matrices containing only negative
values and 0, the supremum is 0, and
a `div-by-zero` error was thrown.
`normalize-matrix` has been fixed to
first `abs` all the matrix elements,
and then find the supremum and divide,
it also receieved a zero-matrix? guard
for optimization and preventing
`div-by-zero`.
- new alias: `hilbert-schmidt-norm` for
`frobenius-norm`, to go along with
`math.matrices.extras.<hilbert-matrix>`
and improve searchability by physicists.
- new word: `matrix-p-norm`, written as an
analogue of `math.vectors.p-norm`.
- new word: `matrix-p-q-norm`, which generalizes
entrywise matrix norm over the L^p,q
vector space.
- new word: `matrix-p-norm-entrywise`:
`matrix-p-norm`'s fallback
for p =/= 1, 2, inf; analogue of
`math.vectors.p-norm-default`.
- all norm words have gotten new docs,
`zero-matrix?` guards as an optimisation,
and most have gotten new tests.
John Benediktsson [Sat, 29 Feb 2020 16:25:52 +0000 (08:25 -0800)]
websites.concatenative: fix for xhtml.
John Benediktsson [Sat, 29 Feb 2020 16:25:16 +0000 (08:25 -0800)]
websites.concatenative: device viewport css.
John Benediktsson [Sat, 29 Feb 2020 16:21:41 +0000 (08:21 -0800)]
websites.factorcode: some downloads style.
John Benediktsson [Sat, 29 Feb 2020 16:14:10 +0000 (08:14 -0800)]
websites.factorcode: give logo a width also.
John Benediktsson [Sat, 29 Feb 2020 16:06:59 +0000 (08:06 -0800)]
websites.factorcode: better mobile responsive css.
John Benediktsson [Sat, 29 Feb 2020 15:16:46 +0000 (07:16 -0800)]
prettyprint.backend: make +nil+ render as L{ }.
John Benediktsson [Fri, 28 Feb 2020 22:25:35 +0000 (14:25 -0800)]
websites.factorcode: tinypng the logo.
John Benediktsson [Fri, 28 Feb 2020 21:16:58 +0000 (13:16 -0800)]
websites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:04:46 +0000 (13:04 -0800)]
websites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 20:03:07 +0000 (12:03 -0800)]
websites.factorcode: smaller fonts in downloads table.
John Benediktsson [Fri, 28 Feb 2020 05:53:39 +0000 (21:53 -0800)]
ui.gadgets.paragraphs: need to merge height/metrics.
Sometimes cap-height is false and we handle that differently.
John Benediktsson [Fri, 28 Feb 2020 05:44:32 +0000 (21:44 -0800)]
help.html: default font size should be 12pt, less line-height for pre.
John Benediktsson [Fri, 28 Feb 2020 02:10:37 +0000 (18:10 -0800)]
ui.gadgets.paragraphs: faster pref-dim.
Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.
John Benediktsson [Fri, 28 Feb 2020 01:25:20 +0000 (17:25 -0800)]
webapps: pre tag line-height.
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.