Commit Graph

Select branches

Hide Pull Requests

char-rename

clean-linux-x86-32

clean-linux-x86-64

clean-macosx-x86-32

clean-macosx-x86-64

clean-windows-x86-32

clean-windows-x86-64

cvs

darcs

db4

dragonfly

elevate-erg

factor-shell

fix-linux

flac

freebsd-work

github/freebsd-work

handle-patch-and-put

html-help-styling

locals-and-roots

master

modern-harvey2

modern-harvey3

modern-harvey3-triple

modern-harvey4

paths

release

revert-2214-feature-commandline-documentation

travis-windows

unicode-12.1.0

vm-warnings

windows-drag

windows-high-dpi

0.61

0.62

0.63

0.66

0.67

0.68

0.69

0.70

0.71

0.72

0.73

0.74

0.75

0.76

0.77

0.78

0.79

0.80

0.81

0.82

0.83

0.84

0.85

0.86

0.91

0.92

0.93

0.94

0.95

0.96

0.97

0.98

before-dataflow-ir-refactoring

before-env-dt-removal

before-gc-trigger-changes

before-generic-arithmetic-cleanup

before-guard-pages

before-styles-to-alist

before-vop-refactoring

common-root

factor-0-67

factor-0-69

factor-0-70

factor-0-71

factor-0-71-b

factor-0-73

factor-0-77

factor-0-78

factor-0-79

factor-0-80

factor-0-82

first-cvs-commit

first-darcs-commit

first-git-commit

get-rid-of-meets

import-0.29

import-0.36

import-0.53

import-0.58

import-0.60

import-0.66

import-0.67

import-0.68

import-0.69

import-0.70

import-0.71

import-0.72

import-0.73

import-0.74

import-0.75

import-0.76

import-0.77

import-0.78

import-0.79

import-0.80

import-0.81

import-0.82

import-0.83

import-0.84

import-0.85

import-0.86

import-0.87

import-0.88

import-0.89

import-0.90

import-0.91

import-0.92

import-0.93

import-0.94

import-0.95

import-0.96

import-0.97

import-0.98

importing-0-60

jedit-plugin-0-74

jedit-plugin-76

last-cvs-commit

last-darcs-commit

plugin-release-73

redoing-recursive-inference

release-0-61

release-0-62

release-0-63

release-0-66

release-0-68

release-0-72

release-0-74

release-0-75

release-0-76

similar-0.66

similar-0.69

similar-0.72

similar-0.85

similar-0.86

similar-0.91

similar-0.94

similar-0.95

similar-0.96

unmaintained

Mono Color

• 440b56a9f0 misc/vim: dos2unix factor-docs.vim. John Benediktsson 2020-06-08 11:08:30 -0700
• d9210f738d editors.vim.generate-syntax: merge in factor.vim.fgen. John Benediktsson 2020-06-08 11:06:22 -0700
• b0b5c31821 build.sh: Change WORD size detection to use preprocessor. Doug Coleman 2020-06-07 11:30:43 -0500
• 70cf73b032 fixup! [misc] vim/syntax: Fixups Dusk 2020-06-06 19:04:05 -0700
• f70ce01b51 editors.vim.generate-syntax: Match new generation Dusk 2020-06-06 20:24:56 -0700
• 35b8621306 [misc] vim/syntax: Fixups Dusk 2020-06-06 19:04:05 -0700
• 0a8cb5f2c1 misc: adding a syntax-test file. John Benediktsson 2020-06-06 19:04:21 -0700
• 61635500f2 vim: missed a char in 0b fix. John Benediktsson 2020-06-06 19:02:21 -0700
• ddf498d5ad vim: fix syntax highlighting of CHAR:, 0b, NAN:. John Benediktsson 2020-06-06 19:00:41 -0700
• 14b1418f6a [misc] vim/syntax: Overhaul syntax highlighting Dusk 2020-06-05 01:21:55 -0700
• 35799f8d2d [misc] vim/syntax: Avoid extra group captures Dusk 2020-05-30 23:27:10 -0700
• 686f707078 [misc] vim/syntax: Very magic patterns Dusk 2020-05-30 21:17:26 -0700
• 11757d87fb [misc] vim/syntax: Proper comment precedence Dusk 2020-05-29 17:57:02 -0700
• 710b54869a [misc] vim: Hygenic text width highlights Dusk 2020-05-29 16:47:22 -0700
• 35681032d9 ui.tools.listener: change previous/next line to multiline-editor. John Benediktsson 2020-06-06 16:47:30 -0700
• 02386eebcc ui.tools.listener: document emacs-style keybindings for now. John Benediktsson 2020-06-06 16:28:40 -0700
• 4f51adf8bf Revert "ui: better support for Emacs-style key bindings." John Benediktsson 2020-06-06 16:20:21 -0700
• e446f34280 Revert "ui.gadgets.editors: adding Ctrl-u support." John Benediktsson 2020-06-06 16:19:51 -0700
• 5c04baf757 Revert "ui.gadgets.editors: make Ctrl-A select-all if at column 0." John Benediktsson 2020-06-06 16:19:50 -0700
• 43c2ffead2 Revert "ui.tools: change Alt- to Ctrl-Shift- for tools." John Benediktsson 2020-06-06 16:19:43 -0700
• a9ad206edc ui.backend.gtk: don't let input-methods steal key-presses. John Benediktsson 2020-06-06 16:09:15 -0700
• 9c3908e003 ui.tools: change Alt- to Ctrl-Shift- for tools. John Benediktsson 2020-05-29 14:59:45 -0700
• 9287b05d57 ui.gadgets.editors: make Ctrl-A select-all if at column 0. John Benediktsson 2020-05-29 14:56:58 -0700
• 09c867f747 images.pbm: use not. John Benediktsson 2020-05-28 09:13:51 -0700
• 6e23222187 logic: use not. John Benediktsson 2020-05-28 09:13:44 -0700
• 046d128c97 ui.gadgets.editors: adding Ctrl-u support. John Benediktsson 2020-05-27 20:01:33 -0700
• 928b4c6abc ui: better support for Emacs-style key bindings. John Benediktsson 2020-05-27 19:49:30 -0700
• 32fa577368 ui.gadgets.editors: can just use preedit-start>> as boolean. John Benediktsson 2020-05-27 12:52:45 -0700
• 258d7e05d6 models: cleanup docs for $slots. John Benediktsson 2020-05-27 12:51:31 -0700
• 82a34fe4b8 ui.gadgets.editors: fix off-by-one. John Benediktsson 2020-05-27 11:50:04 -0700
• c781933d6b ui.gadgets.editors: fix page-up/page-down behavior. John Benediktsson 2020-05-27 11:43:29 -0700
• f2189a32f4 ui.gadgets.editors: cleanup docs for $slots. John Benediktsson 2020-05-27 11:43:12 -0700
• c8afb239a0 ui.gestures: clean docs for $slots. John Benediktsson 2020-05-27 11:18:20 -0700
• d0a694a7fe ui.gadgets.tables: change hook>> to be called on all row-actions. John Benediktsson 2020-05-27 09:58:07 -0700
• 75d5a8a8f9 ui.gadgets.tables: cleanup docs for $slots. John Benediktsson 2020-05-27 09:51:01 -0700
• 3ee93ee68d lexer: cleanup docs for $slots. John Benediktsson 2020-05-27 09:47:38 -0700
• 10e19a3944 threads: cleanup docs for $slots. John Benediktsson 2020-05-27 09:47:29 -0700
• 0fb44180c0 db.sqlite.ffi: Update the sqlite3 bindings a bit. Doug Coleman 2020-05-26 21:16:11 -0500
• 130c1d8dd6 ui.gadgets.editors: fix page-up/page-down with one line. John Benediktsson 2020-05-26 10:53:16 -0700
• 8f3ce6f49a punycode: adding basic support for Punycode (RFC 3492). John Benediktsson 2020-05-26 10:05:09 -0700
• b1f29dc497 ui.backend.x11.keys: Enable numpad navigation keys for when numlock is off. Doug Coleman 2020-05-22 18:04:06 -0500
• 131c91b786 gesture-logger: Add as a demo! Doug Coleman 2020-05-22 17:52:34 -0500
• 02dd86a37d help.html: better tests, don't just drop the result. John Benediktsson 2020-05-22 16:01:25 -0700
• 0db8b2d012 help: some test fixes for recent behavior changes. John Benediktsson 2020-05-22 14:41:00 -0700
• ad1e4dcd11 help: change the "help" word-prop to store the actual documentation. John Benediktsson 2020-05-22 10:48:34 -0700
• 409ce057f3 Revert "help.lint.coverage: change $values to $inputs and $outputs." John Benediktsson 2020-05-22 10:47:27 -0700
• 150c6a6554 help.html: adding back the link to factorcode.org. John Benediktsson 2020-05-22 10:14:28 -0700
• 655f54af19 shell.nix: supply `wrapFactor` helper to make standalone factor binary timor 2020-05-20 17:04:01 +0200
• 802bb073b0 help.html: better navbar on iPhone. John Benediktsson 2020-05-22 10:03:39 -0700
• e2fa0a6392 ui.backend.cocoa.views: fix jittery resize. John Benediktsson 2020-05-22 08:23:20 -0700
• 61102548f4 help.lint.coverage: change $values to $inputs and $outputs. John Benediktsson 2020-05-22 08:06:36 -0700
• eded28cc74 help: splitting $values into $inputs and $outputs. John Benediktsson 2020-05-21 19:47:28 -0700
• 27215982e6 help.html: copy image resources to output directory. John Benediktsson 2020-05-21 19:17:56 -0700
• da8a378b38 ui.tools.error-list: changing icons from tiff to png. John Benediktsson 2020-05-21 17:31:41 -0700
• 4e498ad3b7 webapps.help: whoops. John Benediktsson 2020-05-21 17:25:03 -0700
• 2e2f1d673a help.html: support ui/tools/error-list/icons also. John Benediktsson 2020-05-21 17:23:47 -0700
• 868d970784 html.streams: move icon src mapping to help.html. John Benediktsson 2020-05-21 17:19:36 -0700
• d2114e913c syntax: allow anonymous MAIN:. John Benediktsson 2020-05-21 14:19:43 -0700
• 551e079da8 webbrowser: adding MAIN. John Benediktsson 2020-05-20 20:26:02 -0700
• 15b0f07b37 metar: add a main. John Benediktsson 2020-05-20 19:47:47 -0700
• 918436af7e websites.factorcode: update macos screenshot. John Benediktsson 2020-05-20 11:11:57 -0700
• 721cb84d2a definitions.icons: lighter open-vocab/unopen-vocab. John Benediktsson 2020-05-20 10:46:34 -0700
• e3fb39e3fe definitions.icons: prefer more isometric vocab icons. John Benediktsson 2020-05-20 09:33:54 -0700
• b277d96065 definitions.icons: fix unopen-vocab.png. John Benediktsson 2020-05-19 21:46:46 -0700
• ba80c1b6d6 definitions.icons: fix some 1x images. John Benediktsson 2020-05-19 21:45:26 -0700
• e28bcd400b help.html: use @2x images. John Benediktsson 2020-05-19 20:53:08 -0700
• 149cc270ff ui.images: fix for gl-scale-factor not being set. John Benediktsson 2020-05-19 19:10:51 -0700
• 27c9792108 ui.images: load 1x or 2x graphics. John Benediktsson 2020-05-19 19:00:25 -0700
• 01a389cb68 compiler.tree.propagation.slots: remove unused word timor 2020-05-19 17:53:33 +0200
• e065e5b315 ui.theme: fix help-path-border-color to match toolbar-background. John Benediktsson 2020-05-19 10:15:50 -0700
• 1b007dd7fc Revert "ui.pens.image: allow float math." John Benediktsson 2020-05-19 10:00:05 -0700
• fd4ddf588f ui: update more icons, including ui.tools.error-list. John Benediktsson 2020-05-19 09:46:43 -0700
• 1a3d061954 definitions.icons: minor tweak. John Benediktsson 2020-05-19 08:25:49 -0700
• 466f599d11 definitions.icons: minor tweaks. John Benediktsson 2020-05-19 08:08:12 -0700
• dc584bb671 unix.signals: bump time on tests. John Benediktsson 2020-05-19 07:49:56 -0700
• cc823e7db1 tools.profiler.sampling: bump runtime. John Benediktsson 2020-05-19 07:46:25 -0700
• 221b222f86 Revert "ui.baseline-alignment: allow floats in alignment." John Benediktsson 2020-05-19 07:41:06 -0700
• 1ee94a168b ui.theme.images: minor scroll arrow fixes. John Benediktsson 2020-05-18 21:20:10 -0700
• 44003d802f ui.theme.images: minor cleanup. John Benediktsson 2020-05-18 21:09:37 -0700
• 2d71fd9e22 ui.pens.image: allow float math. John Benediktsson 2020-05-18 20:57:03 -0700
• cf5bc20b1b ui.gadgets.icons: draw icon on top of selected background. John Benediktsson 2020-05-18 20:56:25 -0700
• c37e9551ad ui.baseline-alignment: allow floats in alignment. John Benediktsson 2020-05-18 20:53:14 -0700
• c0ab4beb0c help.html: set the sizes of 2x definition icons. John Benediktsson 2020-05-18 20:46:27 -0700
• 65a3f0b6f4 ui.images: load all UI images as 2x for retina displays. John Benediktsson 2020-05-18 20:45:58 -0700
• 9635596b0b ui.gadgets.labels: only ceiling the height for now. John Benediktsson 2020-05-18 08:06:08 -0700
• 06ff539b17 Revert "ui.gadgets.labels: make labels integer larger than text." John Benediktsson 2020-05-18 08:02:06 -0700
• 5d4a0b4f00 ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2. John Benediktsson 2020-05-17 20:47:22 -0700
• eb7aad96c0 ui.gadgets.borders: don't convert border-loc to fixnum. John Benediktsson 2020-05-17 20:45:49 -0700
• 0b294c5d50 ui.gadgets.labels: make labels integer larger than text. John Benediktsson 2020-05-17 20:44:21 -0700
• 65d7e3fad1 build.sh: make_boot_image can just use -run=bootstrap.image. John Benediktsson 2020-05-17 19:55:59 -0700
• d85d3e861c bootstrap.image: allow making other images in main. John Benediktsson 2020-05-17 19:53:18 -0700
• 160d1b4415 build.sh: Add self-bootstrap option. Doug Coleman 2020-05-16 14:49:57 -0500
• 75d8607643 build.sh: Only pull into current branch so we don't end up merging Doug Coleman 2020-05-16 14:45:33 -0500
• abb1755311 logic.examples.money: use lnth and leach. John Benediktsson 2020-05-16 11:26:16 -0700
• 457485dae7 ui.gadgets.labels: allow sub-pixel baseline and cap-height. John Benediktsson 2020-05-16 11:18:11 -0700
• 5f89facf9e basis/extra: replace "/ >integer" with "/i" in a few places. John Benediktsson 2020-05-16 11:17:42 -0700
• 68f6eeb3ad ui.gadgets.packs: change pack-layout not to round. John Benediktsson 2020-05-16 11:10:18 -0700
• 7b023ad59d brainfuck: inline (?) because it's not a language command. John Benediktsson 2020-05-16 10:13:10 -0700
• b3412e8930 ui.gadgets: formatting. John Benediktsson 2020-05-16 10:07:35 -0700
• 33e72abff9 ui.baseline-alignment: better stack effects. John Benediktsson 2020-05-16 10:05:11 -0700