]> gitweb.factorcode.org Git - factor.git/history - basis/help/html
inverse: Fix docs
[factor.git] / basis / help / html /
2023-08-31 John Benediktssonhelp.html: check filename for printable characters
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-08-22 John Benediktssonhelp.html: more space below $code blocks
2023-03-15 Raghu RMerge pull request #2774 from factor/w4-warnings
2023-03-15 Raghu Rvm: nmakefile \W4 warning related changes
2023-02-26 Doug Colemanfactor: ?if to ?if-old
2023-02-07 John Benediktssonhelp.html: go back to previous code colors
2023-02-02 John Benediktssonhelp.html: switch to light gray code blocks
2023-02-02 John Benediktssonhelp.html: a bit more padding
2023-02-02 John Benediktssonhelp.html: fix nav header padding
2023-02-02 John Benediktssonhelp.html: tweak styles
2023-02-02 John Benediktssonhelp.html: tweak markup
2023-01-31 John Benediktssonhelp.html: more default html output
2023-01-31 John Benediktssonhelp.html: some table fixes
2023-01-31 John Benediktssonhelp.html: some style fixes
2023-01-30 John Benediktssonhelp.html: inverse dashed colors
2023-01-30 John Benediktssonhelp.html: fix css whoops
2023-01-29 John Benediktssonhelp.html: make search box bigger
2023-01-20 John BenediktssonSwitch to https urls
2023-01-12 Doug Colemanfactor: fix some spacing
2022-09-25 John Benediktssonhelp.html: only input.focus().
2022-09-25 John Benediktssonhelp.html: whoops, typo
2022-09-25 John Benediktssonhelp.html: add null check
2022-09-25 John Benediktssonhelp.html: prevent firefox quick find using '/' key
2022-09-25 John Benediktssonhelp.html: implement "/" for making search box active.
2022-08-26 John Benediktssonhelp.html: specify tabindex
2022-08-26 John Benediktssonhelp.html: making search box have first tab index
2022-08-21 John Benediktssonwebapps: better style
2022-08-17 Doug Colemancore: subseq-index? -> subseq-of?
2022-08-07 John Benediktssonhelp.html: more padding
2022-08-07 John Benediktssonhelp.html: improve nav
2022-08-07 John Benediktssonhelp.html: docs are 800px wide
2022-08-07 John Benediktssonhelp.html: cleanup nav
2022-08-05 John Benediktssonhelp.html: softer search box.
2022-08-05 John Benediktssonhelp.html: using standard tags, adding theme-color
2022-07-31 Doug Colemansequences: rename subsequence? words to subseq? again.
2022-07-31 Doug Colemanhelp.html: fix load
2022-07-31 Doug Colemancore: find-subseq -> subsequence-starts, find-subseq...
2022-07-31 Doug Colemanfactor: use new words
2022-07-25 John Benediktssonhelp.html: remove border color now that it is set.
2022-06-29 John Benediktssonhelp.html: round other colored boxes
2022-06-28 John Benediktssonhelp.html: more css changes
2022-06-28 John Benediktssonhelp.html: better colors
2022-06-28 John Benediktssonhelp.html: bit more style
2022-06-28 John Benediktssonhelp.html: larger fonts
2022-06-19 Doug ColemanMerge remote-tracking branch 'origin/master'
2022-06-19 John Benediktssontools.completion: fix logic
2022-06-19 Doug ColemanMerge remote-tracking branch 'origin/html5-force-push'
2022-06-19 John Benediktssonhelp.html: faster qualified search using an index
2022-06-19 Doug ColemanMerge branch 'arm64-bootstrap2'
2022-06-19 John Benediktssonhelp.html: quick fix for qualified searching of words
2022-05-19 John Benediktssonhelp.html: simplify dark mode code
2022-05-18 John Benediktssonhelp.html: fix using
2022-05-18 John Benediktssonhelp.html: lowercase colors
2022-05-18 John Benediktssonhelp.html: dark mode
2022-01-22 John Benediktssonhelp.html: make titles wrap properly
2022-01-20 Doug Colemanfactor: trim more using lists.
2022-01-19 John Benediktssonhelp.html: set footer font size
2022-01-12 John Benediktssonhelp.html: larger title
2022-01-12 John Benediktssonwebapps: updating boilerplate navbar/navrow
2022-01-12 John Benediktssonhelp.html: need to hide img on iphones
2022-01-12 John Benediktssonhelp.html: couldn't resist tweaking the design a bit...
2022-01-12 John Benediktssonhelp.html: one prepend instead of multiple prefix
2022-01-12 John Benediktssonhelp.html: title should be black
2022-01-11 John Benediktssonhelp.html: trying a lightweight theme
2022-01-11 John Benediktssonhelp.html: dark gray footer text
2022-01-11 John Benediktssonhelp.html: no need to change background-color now
2022-01-11 John Benediktssonhelp.html: adding a page footer with version-info
2022-01-11 John Benediktssonhelp.html: use help-header-background color exactly.
2022-01-11 John Benediktssonhelp.html: change tr:hover color for div.a only
2022-01-11 John BenediktssonRevert "help.html: remove tr:hover background-color"
2022-01-10 John Benediktssonhelp.html: remove tr:hover background-color
2022-01-10 John Benediktssonhelp.html: improve help-header to match the UI
2022-01-10 John Benediktssonhelp.html: tweak help-header to match the UI
2021-12-20 Doug Colemanfactor: words -> split-words, lines -> split-lines...
2021-12-20 Doug Colemanio.files: exists? -> file-exists? and rename primitive.
2021-12-20 Doug Colemancore: Add words/unwords/unwords-as and use them.
2020-05-22 John Benediktssonhelp.html: better tests, don't just drop the result.
2020-05-22 John Benediktssonhelp: some test fixes for recent behavior changes.
2020-05-22 John Benediktssonhelp.html: adding back the link to factorcode.org.
2020-05-22 John Benediktssonhelp.html: better navbar on iPhone.
2020-05-22 John Benediktssonhelp.html: copy image resources to output directory.
2020-05-22 John Benediktssonhelp.html: support ui/tools/error-list/icons also.
2020-05-22 John Benediktssonhtml.streams: move icon src mapping to help.html.
2020-05-20 John Benediktssonhelp.html: use @2x images.
2020-05-19 John Benediktssonhelp.html: set the sizes of 2x definition icons.
2020-03-03 John Benediktssonwebsites.concatenative: navbar background.
2020-03-02 John Benediktssonwebapps.help: matching style for navbar.
2020-03-02 John Benediktssonhelp.html: move pre-wrap to css style fixup.
2020-03-01 John Benediktssonhelp.html: more responsive help docs.
2020-02-28 John Benediktssonhelp.html: default font size should be 12pt, less line...
2020-02-28 John Benediktssonhelp.html: raise line-height to 150%.
2020-02-28 John Benediktssonhelp.html: less css reset.
2020-02-27 John Benediktssonhelp.html: use protocol agnostic link.
2020-02-27 John Benediktssonhelp.html: make these match new wiki css.
2020-02-26 John Benediktssonhelp.html: assume even padding started out odd.
2020-02-26 John Benediktssonhelp.html: clone attrs in css-styles-to-classes and...
2020-02-23 John Benediktssonhelp.html: don't use sprintf.
2020-02-17 John Benediktssonhelp.html: cleanup stylesheet a bit.
2020-02-17 John Benediktssonhelp.html: change fixed font-size to relative.
next