Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
dev-hash
bef1f612
·
[BUG] with Array.null case
·
Jul 17, 2020
dev-window
a850d993
·
[FIXME] window location
·
Jul 13, 2020
dev-public
262dfe08
·
[FIX] when nodetypes <= 1
·
Jul 12, 2020
psc-package-nix
146ba7d7
·
[shell.nix] fix the 'build' command
·
Jul 03, 2020
dev-listmod-cache
b0a073cf
·
[cache] last modified cache: first drafts
·
Jul 03, 2020
dev-mpanelaction-fix
a949177d
·
[forest] fix mPanelAction
·
Jul 02, 2020
issue184
39031e0a
·
[UI] #184 Tweaked layout of hide/show tree/control/sidebar buttons.
·
Jul 02, 2020
dev-list-charts
535ed7fd
·
[ngrams] remove logs from loader
·
Jul 01, 2020
181-ui-tree-expander-icon
fbeac876
·
[FIX] box button action close/open to fix variable issue
·
Jul 01, 2020
181-ui-tree-expander-icon-2
fbeac876
·
[FIX] box button action close/open to fix variable issue
·
Jul 01, 2020
issue181
fbeac876
·
[FIX] box button action close/open to fix variable issue
·
Jul 01, 2020
dev-subtree
79910d34
·
[FIX] subtree out params
·
Jun 28, 2020
dev-refact
09db4e19
·
[FIX] GraphTerm -> MapTerm
·
Jun 26, 2020
dev-node-async
fc988263
·
[FIX] Front end json generic enum types.
·
Jun 17, 2020
enum-generic-encoding
0d017970
·
allow encoding enum style sum types as string literals
·
Jun 17, 2020
nullary-constructors-json
a7dab291
·
handle sum type nullary constructors in generic JSON
·
Jun 16, 2020
dev-hot
ee19be0a
·
initial go at hot reload
·
Jun 11, 2020
dev-ngrams-refactoring
36c0e206
·
[FIX] NgramsTable remove existing child
·
Jun 02, 2020
dev-async-tasks-local-storage
d6d78ff1
·
[async tasks] storing tasks to local storage is working now
·
Jun 01, 2020
iframe-interaction
eb6aacde
·
[MERGE] fix with dev
·
May 27, 2020
Prev
1
…
16
17
18
19
20
21
22
23
24
…
28
Next