ee67a4d8d2
factor: update for load-all
2020-04-03 09:15:25 -05:00
b644ec6818
Merge remote-tracking branch 'origin/master' into modern-harvey4
2020-04-02 20:24:16 -05:00
94d97a20f5
basis/extra: move tools.
2020-04-02 17:06:50 -07:00
3b1464630c
cli.git: revert process-contents patch.
2020-04-02 09:53:56 -07:00
de3b74d1c6
basis/extra: move fewer things.
2020-04-01 21:37:28 -07:00
42cf41e616
Revert "basis: Move any vocabularies required by basis into basis."
...
This reverts commit 59c2956570
2020-04-01 21:37:28 -07:00
33eb8a7837
Revert "basis: Move more extra to basis."
...
This reverts commit 2d85dafa98
2020-04-01 21:37:28 -07:00
7e4c854714
rosetta-code.multisplit: reduce memory usage
...
Avoid creating a filtered sequence when all we need is its first element.
2020-04-02 01:50:01 +00:00
9b143a826d
rosetta-code.multisplit: new vocab
2020-04-01 23:21:52 +00:00
2d85dafa98
basis: Move more extra to basis.
...
I missed these because they were already loaded in my saved image.
2020-03-28 10:39:06 -05:00
59c2956570
basis: Move any vocabularies required by basis into basis.
2020-03-28 09:30:37 -05:00
dfb3ebf509
Merge remote-tracking branch 'origin/master' into modern-harvey4
2020-03-15 13:09:22 -05:00
172649f667
factor: Update all repos to point to github.com.
...
factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server
Change strategy for calling git fetch to not include the branch name if we are on a detached HEAD
2020-03-15 13:06:02 -05:00
516a5d9004
factor: Update all repos to point to github.com.
...
factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server
2020-03-15 12:22:15 -05:00
426d8f09b2
fix various typos; cleanup and fully document boyer-moore
2020-03-15 14:58:43 +00:00
d8f813a531
Reduced stack waste, added LOGIC-RED: and LOGIC-VAR:, a little speed up.
2020-03-15 03:22:57 +00:00
f5c75922ec
core: fryable work.
2020-03-12 17:11:51 -05:00
d3d9c1ffcf
Merge remote-tracking branch 'origin/master' into modern-harvey3
2020-03-12 17:01:05 -05:00
96d3482475
windows: Fix user32/shcore DPI functions.
2020-03-09 21:59:10 -05:00
9bb9afd5cc
ui.render.test: Replace reference image with an uncorrupted one.
...
To generate a rendering image:
USE: ui.render.test
"ui-render-test" run
render-output get-global "resource:reference.bmp" save-graphic-image
Fixes #2210 .
2020-03-06 19:37:02 -06:00
7eee21ab94
vocabs.metadata: cleanup a couple uses of metadata paths.
2020-03-05 09:33:41 -08:00
b6e518e4bb
Merge remote-tracking branch 'origin/master' into modern-harvey3
2020-03-04 19:19:01 -06:00
0be0c69ea5
pdf: heuristic for dealing with table wrapping.
2020-03-03 11:31:00 -08:00
9d16162371
pdf.values: fix names for some fonts.
2020-03-03 11:09:11 -08:00
5a1b773899
help.pdf: use 1.25 line-height on pdf.
2020-03-03 09:46:45 -08:00
b23fc52850
pdf.canvas: add concept of line-height multiplier.
2020-03-03 09:46:32 -08:00
ab81a957c9
logic.examples: cleanup, make hanoi tests assert output.
2020-03-03 08:09:52 -08:00
4ecc1110c8
logic.factor: [ quot call( -- ) ] --> quot
2020-03-03 15:59:07 +00:00
14ac76fc2c
factlog vocab ==> logic vocab
2020-03-03 15:59:07 +00:00
a37cb9857a
Rename directory, files.
2020-03-03 15:59:07 +00:00
431282afcf
catb0t's PR: add a Prolog-like %! ... multiline comment #6
2020-03-03 15:59:07 +00:00
c760a5aa8f
factlog
2020-03-03 15:59:07 +00:00
8fd4552b45
webapps.planet: use factor color.
2020-03-02 17:07:30 -08:00
c57580b06a
webapps.wiki: remove footer border-top.
2020-03-02 17:03:25 -08:00
711297690b
websites.concatenative: navbar background.
2020-03-02 17:01:01 -08:00
36553b34fb
webapps.wiki: better spacing on article list.
2020-03-02 16:07:09 -08:00
b9bd328f2e
webapps: remove floating factorcode.org links.
2020-03-02 15:39:53 -08:00
9abc2ae873
webapps.help: matching style for navbar.
2020-03-02 08:48:25 -08:00
5acf0512b9
websites.concatenative: make navbar use line-height.
2020-03-02 08:44:17 -08:00
52d371320f
webapps.wiki: 24px hamburger instead of 32px.
2020-03-02 08:40:23 -08:00
1c1d23fd99
webapps.help: responsive search.
2020-03-02 07:03:55 -08:00
a8d35345c4
extra: moving hash-sets.numbers, hashtables.numbers to basis.
2020-03-01 20:50:58 -08:00
522bc97e87
webapps.planet: a bit more style.
2020-03-01 14:41:03 -08:00
70fba55732
webapps.planet: more responsive css.
2020-03-01 14:35:04 -08:00
77fd680475
webapps.planet: use div to style post body.
2020-03-01 13:49:06 -08:00
b6853b8c6a
webapps.pastebin: more padding.
2020-03-01 13:46:41 -08:00
a07af0b593
webapps.wiki: style the header.
2020-03-01 13:46:27 -08:00
670f5a77a7
webapps.wiki: tweak line-height to fix issue with title.
2020-03-01 13:31:08 -08:00
d326e8f788
webapps.wiki: simplify and fix resize issue on mobile.
2020-03-01 12:20:32 -08:00
9336cd6efc
webapps.wiki: some responsive css (and JS for hamburger menu).
2020-03-01 12:12:08 -08:00
Doug Coleman
John Benediktsson
Alexander Iljin
Cat Stevens
kusumotonorio