Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
Stale branches
outputWebView
9cf57f06
·
Process REDUCE output as a list of text nodes, except that a prompt is a text...
·
Jun 03, 2020
boldPrompts
6df45c4e
·
Add code to scroll the REDUCE output to the bottom. Tidy the code.
·
Jul 29, 2020
debugWebEngine
01e495c7
·
Add commented out code to increase font size for some delims, which works but...
·
Aug 26, 2020
FixConfigDialog
ea628956
·
Tidy up the rest of REDUCEConfigDialog. I think it all works now!
·
Oct 19, 2020
master
default
662b413a
·
Add .deepsource.toml
·
Dec 09, 2023