]> gitweb.factorcode.org Git - factor.git/commit
Skov changes from 65ea8580ac353033069cd9034fc12d0f5d1f5989
authorDave Carlton <davec@mac.com>
Fri, 16 Sep 2022 23:20:25 +0000 (18:20 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 19 Sep 2022 21:54:45 +0000 (14:54 -0700)
commit14f51701628f0b52c3e4e390c7e12918e4da2527
treecf392604a6731b191a7bdd6d5661ccb88a767914
parentf3ee5c59792cef8f16021e30c6fcddf79939e55d
Skov changes from 65ea8580ac353033069cd9034fc12d0f5d1f5989
48 files changed:
extra/skov/authors.txt [new file with mode: 0644]
extra/skov/basis/classes/parser/parser.factor [new file with mode: 0644]
extra/skov/basis/code/code.factor [new file with mode: 0644]
extra/skov/basis/code/execution/execution.factor [new file with mode: 0644]
extra/skov/basis/code/factor-abstraction/factor-abstraction.factor [new file with mode: 0644]
extra/skov/basis/code/import-export/import-export.factor [new file with mode: 0644]
extra/skov/basis/definitions/icons/generic-word.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/help-article.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/normal-word.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/open-vocab.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/primitive-word.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/symbol-word.png [new file with mode: 0644]
extra/skov/basis/definitions/icons/word-help-article.png [new file with mode: 0644]
extra/skov/basis/fonts/authors.txt [new file with mode: 0644]
extra/skov/basis/fonts/fonts-docs.factor [new file with mode: 0644]
extra/skov/basis/fonts/fonts.factor [new file with mode: 0644]
extra/skov/basis/fonts/summary.txt [new file with mode: 0644]
extra/skov/basis/fonts/tags.txt [new file with mode: 0644]
extra/skov/basis/help/help-docs.factor [new file with mode: 0644]
extra/skov/basis/help/help.factor [new file with mode: 0644]
extra/skov/basis/help/markup/markup.factor [new file with mode: 0644]
extra/skov/basis/math/constants/constants.factor [new file with mode: 0644]
extra/skov/basis/ui/commands/commands.factor [new file with mode: 0644]
extra/skov/basis/ui/gadgets/buttons/activate/activate.factor [new file with mode: 0644]
extra/skov/basis/ui/gadgets/buttons/round/round.factor [new file with mode: 0644]
extra/skov/basis/ui/gadgets/pens/gradient-rounded/gradient-rounded.factor [new file with mode: 0755]
extra/skov/basis/ui/gadgets/pens/title-gradient/title-gradient.factor [new file with mode: 0755]
extra/skov/basis/ui/gadgets/sliders/sliders.factor [new file with mode: 0644]
extra/skov/basis/ui/images/authors.txt [new file with mode: 0644]
extra/skov/basis/ui/images/images.factor [new file with mode: 0644]
extra/skov/basis/ui/pens/gradient-rounded/gradient-rounded.factor [new file with mode: 0755]
extra/skov/basis/ui/pens/image/authors.txt [new file with mode: 0644]
extra/skov/basis/ui/pens/image/image.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/browser/browser.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/cell/cell.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/environment.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/navigation/dot-pattern/dot-pattern.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/navigation/navigation.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/theme/theme.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/tree/help-tree/help-tree.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/environment/tree/tree.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/listener/listener.factor [new file with mode: 0644]
extra/skov/basis/ui/tools/tools.factor [new file with mode: 0644]
extra/skov/core/math/math.factor [new file with mode: 0644]
extra/skov/core/slots/slots.factor [new file with mode: 0644]
extra/skov/core/syntax/syntax.factor [new file with mode: 0644]
extra/skov/misc/icons/Skov.ico [new file with mode: 0644]
extra/skov/skov.factor [new file with mode: 0644]