steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 41ff579608
         windows.ole32: Add more LONG: constants. Doug Coleman 2020-03-06 19:05:07 -0600
  • 8ed441d97a
         windows.ole32: Add more error constants as long. Doug Coleman 2020-03-06 17:23:39 -0600
  • e61f1ebc14
         vocabs.metadata: cleanup a couple uses of metadata paths. John Benediktsson 2020-03-05 09:33:41 -0800
  • 685c3eae2c
         vocabs.metadata: cleanup paths to be fully specified. John Benediktsson 2020-03-05 08:59:36 -0800
  • 761cf1a5dd
         ui.gadgets.panes: fix tests under dark-theme. John Benediktsson 2020-03-03 15:23:18 -0800
  • 6cacce4d5c
         pdf: heuristic for dealing with table wrapping. John Benediktsson 2020-03-03 11:31:00 -0800
  • 97029fbee9
         pdf.values: fix names for some fonts. John Benediktsson 2020-03-03 11:09:11 -0800
  • 4c4dcc0480
         help.pdf: use 1.25 line-height on pdf. John Benediktsson 2020-03-03 09:46:45 -0800
  • 29e15fef76
         pdf.canvas: add concept of line-height multiplier. John Benediktsson 2020-03-03 09:46:32 -0800
  • 014eaa51f3
         logic.examples: cleanup, make hanoi tests assert output. John Benediktsson 2020-03-03 08:09:52 -0800
  • e2ecab70c1
         logic.factor: [ quot call( -- ) ] --> quot kusumotonorio 2020-03-03 21:16:52 +0900
  • 241b902134
         factlog vocab ==> logic vocab kusumotonorio 2020-03-03 21:04:46 +0900
  • 8520361b0c
         Rename directory, files. kusumotonorio 2020-03-03 21:03:14 +0900
  • ca0859ff18
         catb0t's PR: add a Prolog-like %! ... multiline comment #6 kusumotonorio 2020-03-02 20:21:17 +0900
  • 9a94c2d54d
         factlog kusumotonorio 2020-03-01 18:19:07 +0900
  • 583e0470c4
         html.templates.chloe: adding missing tests. John Benediktsson 2020-03-02 19:01:01 -0800
  • a8b6de2a35
         webapps.planet: use factor color. John Benediktsson 2020-03-02 17:07:30 -0800
  • 3eccec19f3
         webapps.wiki: remove footer border-top. John Benediktsson 2020-03-02 17:03:25 -0800
  • ca3551a9d4
         websites.concatenative: navbar background. John Benediktsson 2020-03-02 17:01:01 -0800
  • d0d46c3dff
         webapps.wiki: better spacing on article list. John Benediktsson 2020-03-02 16:07:09 -0800
  • 2597a4a8f6
         html.templates: adding meta tag and some chloe tests. John Benediktsson 2020-03-02 15:57:19 -0800
  • 94378fb7c2
         tools.errors: fix to match current behavior: "show". John Benediktsson 2020-03-02 15:40:37 -0800
  • 2156d5babd
         bootstrap.image: add make-my-image to docs. John Benediktsson 2020-03-02 15:40:22 -0800
  • 3628f979d5
         webapps: remove floating factorcode.org links. John Benediktsson 2020-03-02 15:39:53 -0800
  • 0796f95679
         webapps.help: matching style for navbar. John Benediktsson 2020-03-02 08:48:25 -0800
  • 83750e9f8f
         websites.concatenative: make navbar use line-height. John Benediktsson 2020-03-02 08:44:17 -0800
  • 578169f5e7
         webapps.wiki: 24px hamburger instead of 32px. John Benediktsson 2020-03-02 08:40:23 -0800
  • 221b89f0b2
         webapps.help: responsive search. John Benediktsson 2020-03-02 07:03:55 -0800
  • ee42db5436
         extra: moving hash-sets.numbers, hashtables.numbers to basis. John Benediktsson 2020-03-01 20:50:58 -0800
  • 4799f2c448
         help.html: move pre-wrap to css style fixup. John Benediktsson 2020-03-01 18:32:47 -0800
  • e15d2775ae
         html.streams: fix tests. John Benediktsson 2020-03-01 18:32:35 -0800
  • 12118f02e2
         webapps.planet: a bit more style. John Benediktsson 2020-03-01 14:41:03 -0800
  • 8fd968cf58
         webapps.planet: more responsive css. John Benediktsson 2020-03-01 14:35:04 -0800
  • 3c80b9b9aa
         webapps.planet: use div to style post body. John Benediktsson 2020-03-01 13:49:06 -0800
  • dc387f45b9
         webapps.pastebin: more padding. John Benediktsson 2020-03-01 13:46:41 -0800
  • 43d22b8cb6
         webapps.wiki: style the header. John Benediktsson 2020-03-01 13:46:27 -0800
  • 96a7bac40d
         webapps.wiki: tweak line-height to fix issue with title. John Benediktsson 2020-03-01 13:31:08 -0800
  • a1d927bbf8
         webapps.wiki: simplify and fix resize issue on mobile. John Benediktsson 2020-03-01 12:20:32 -0800
  • 539dea68fc
         webapps.wiki: some responsive css (and JS for hamburger menu). John Benediktsson 2020-03-01 12:12:08 -0800
  • 09453d4cff
         websites.concatenative: write script (if any) from children. John Benediktsson 2020-03-01 12:11:31 -0800
  • fac013d307
         html.templates: adding t:script and t:write-script. John Benediktsson 2020-03-01 12:05:59 -0800
  • 6643e97b2c
         help.html: more responsive help docs. John Benediktsson 2020-03-01 10:26:47 -0800
  • a9d7d39425
         html.streams: monospace uses pre-wrap, wrap-margin sets width. John Benediktsson 2020-03-01 09:57:10 -0800
  • 1e5bd820f8
         math.matrices: fix/rename mnorm, update all norms Cat Stevens 2020-02-29 21:46:38 -0500
  • 1f59f04033
         websites.concatenative: fix for xhtml. John Benediktsson 2020-02-29 08:25:52 -0800
  • 58c5265103
         websites.concatenative: device viewport css. John Benediktsson 2020-02-29 08:25:16 -0800
  • 7209b3ff36
         websites.factorcode: some downloads style. John Benediktsson 2020-02-29 08:21:41 -0800
  • 2037e5df99
         websites.factorcode: give logo a width also. John Benediktsson 2020-02-29 08:14:10 -0800
  • ac5b03baab
         websites.factorcode: better mobile responsive css. John Benediktsson 2020-02-29 08:06:59 -0800
  • 4e97e9a8fb
         prettyprint.backend: make +nil+ render as L{ }. John Benediktsson 2020-02-29 07:16:46 -0800
  • c439960a17
         websites.factorcode: tinypng the logo. John Benediktsson 2020-02-28 14:25:35 -0800
  • 6819227307
         websites.factorcode: more examples. John Benediktsson 2020-02-28 13:16:58 -0800
  • 72bb725175
         websites.factorcode: more examples. John Benediktsson 2020-02-28 13:04:46 -0800
  • efd7b85a53
         websites.factorcode: smaller fonts in downloads table. John Benediktsson 2020-02-28 12:03:07 -0800
  • 0cc900e917
         ui.gadgets.paragraphs: need to merge height/metrics. John Benediktsson 2020-02-27 21:53:39 -0800
  • 3b9567c3e9
         help.html: default font size should be 12pt, less line-height for pre. John Benediktsson 2020-02-27 21:44:32 -0800
  • be0da69091
         ui.gadgets.paragraphs: faster pref-dim. John Benediktsson 2020-02-27 18:10:37 -0800
  • b4ac50507c
         webapps: pre tag line-height. John Benediktsson 2020-02-27 17:25:20 -0800
  • dafb567492
         webapps.wiki: moving class description to wiki.css. John Benediktsson 2020-02-27 17:21:33 -0800
  • 1384fb8f89
         help.html: raise line-height to 150%. John Benediktsson 2020-02-27 16:49:48 -0800
  • 23bb656004
         Revert "webapps.help: just include the original css instead of duplicating." John Benediktsson 2020-02-27 16:41:20 -0800
  • a18589dede
         webapps.help: just include the original css instead of duplicating. John Benediktsson 2020-02-27 16:27:15 -0800
  • 8e30b2cc55
         webapps.help: sync with help.html. John Benediktsson 2020-02-27 16:09:03 -0800
  • cdf7257f1e
         help.html: less css reset. John Benediktsson 2020-02-27 16:08:33 -0800
  • c2c6febce3
         websites.concatenative: move container div to page.xml. John Benediktsson 2020-02-27 15:11:55 -0800
  • 7b28dc28a9
         webapps.planet: minor fixes. John Benediktsson 2020-02-27 14:44:19 -0800
  • 3373d888a2
         webapps.pastebin: updated css style. John Benediktsson 2020-02-27 14:44:05 -0800
  • 12f37237df
         webapps.planet: use protocol agnostic link. John Benediktsson 2020-02-27 14:41:13 -0800
  • 170216e4c1
         help.html: use protocol agnostic link. John Benediktsson 2020-02-27 14:40:50 -0800
  • d9f087639d
         webapps.planet: some css cleanup. John Benediktsson 2020-02-27 14:28:51 -0800
  • 364f4facf3
         help.html: make these match new wiki css. John Benediktsson 2020-02-27 13:15:53 -0800
  • b758c9f310
         webapps.wiki: forgot this file. John Benediktsson 2020-02-27 12:49:46 -0800
  • a59a4fef02
         websites.concatenative: cleanup css a bit. John Benediktsson 2020-02-27 12:49:22 -0800
  • 5ab131108a
         extra: Finish renaming a couple words Doug Coleman 2020-02-27 01:04:31 +0000
  • f50c397b38
         websites.factorcode: a couple more examples. John Benediktsson 2020-02-26 17:00:07 -0800
  • 464659b772
         websites.factorcode: first pass cleanup of website. John Benediktsson 2020-02-26 16:46:05 -0800
  • 5b0d28d055
         math.vectors: rename "h." to "hdot" John Benediktsson 2020-02-26 13:06:52 -0800
  • 3bd9eadd9a
         math.vectors.simd: fix typo in simd vdot intrinsic. John Benediktsson 2020-02-26 12:56:52 -0800
  • 3f1602add8
         math.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm. John Benediktsson 2020-02-26 12:51:04 -0800
  • 039d4f0877
         math.vectors: rename "v." to "vdot" John Benediktsson 2020-02-26 12:40:16 -0800
  • 8aa6afb304
         help.markup: make sure lists wrap wider. John Benediktsson 2020-02-26 12:02:20 -0800
  • 3824495560
         fjsc: remove unnecessary stack effects on generic words. John Benediktsson 2020-02-26 11:34:23 -0800
  • 89056025a7
         calendar: remove unnecessary effects on generics. John Benediktsson 2020-02-26 11:34:02 -0800
  • e7d088af63
         prettyprint.stylesheet: s/stack-effect-style/base-effect/style/. John Benediktsson 2020-02-26 11:18:18 -0800
  • af44b24fc8
         help.markup: cleanup using. John Benediktsson 2020-02-26 11:08:13 -0800
  • 59f0d13562
         prettyprint.stylesheet: change stack effects to not be green. John Benediktsson 2020-02-26 11:07:46 -0800
  • 4d573ed52b
         core/basis/extra: update some tags.txt. John Benediktsson 2020-02-26 10:57:08 -0800
  • f703c7aef8
         xml.writer: remove M\ number write-xml. John Benediktsson 2020-02-26 10:24:23 -0800
  • 12664b74ba
         help.html: assume even padding started out odd. John Benediktsson 2020-02-26 10:03:35 -0800
  • ba38aba36c
         help.html: clone attrs in css-styles-to-classes and double padding. John Benediktsson 2020-02-26 09:44:14 -0800
  • 174a0e5808
         help.markup: change $breadcrumbs to unicode. John Benediktsson 2020-02-26 09:40:27 -0800
  • 87b436eb2a
         ui.tools.browser: use unicode next/prev arrows. John Benediktsson 2020-02-26 09:22:48 -0800
  • a4b6397dc8
         ui.gadgets.panes: simplify <styled-label>. John Benediktsson 2020-02-25 12:33:01 -0800
  • 69d6f7ccfb
         html.streams: allow div-css-style to use span-css-style. John Benediktsson 2020-02-25 12:30:51 -0800
  • 68d5fc5388
         Revert "html.streams: use style-stream." John Benediktsson 2020-02-25 12:10:42 -0800
  • cc13f5a491
         vm: use FILE_READ_ATTRIBUTES to make exists? faster. John Benediktsson 2020-02-25 11:05:17 -0800
  • 9a820dea2d
         lists: check for errors like L{ . 3 }. John Benediktsson 2020-02-24 09:11:46 -0800
  • 3758b6319c
         lists: make multiple dots a syntax error. John Benediktsson 2020-02-23 07:29:02 -0800
  • 451fb09795
         help.html: don't use sprintf. John Benediktsson 2020-02-22 20:40:11 -0800
  • 75b1fbd6f4
         lists: simplify parse-list-literal to fix bootstrap issue. John Benediktsson 2020-02-22 20:37:10 -0800