summaryrefslogtreecommitdiff
path: root/static
AgeCommit message (Expand)Author
2024-01-08Fix bug in notebook refresh.Dougal
2024-01-05Start getting examples working againDougal
2024-01-05Get static HTML pages working with the hover-info goodnessDougal
2024-01-03Add a builder for incremental computations.Dougal
2023-12-13Add hover types for bindersDougal
2023-12-13Show types of local vars and subexpressions on hoverDougal
2023-12-13Highlight both cell status and minimap status togetherDougal
2023-12-12Tweaks to status minimapDougal
2023-12-12Organize source information by pass and do more of the work on the Haskell side.Dougal
2023-12-10Indicate whether completed cells finished with errors in minimap.Dougal
2023-12-10Add a "minimap" sidebar that shows the status of each cell.Dougal
2023-12-09Switch to typescript. Much more civilized.Dougal
2023-12-06Update comment syntax in examplesDougal
2023-12-05Highlight error source locationsDougal
2023-12-05Fix bug in applying highlighting updatesDougal
2023-12-01Show types on hover!Dougal
2023-11-30Make hover-info updates even more incrementalDougal
2023-11-30Make hover-info updates incremental so that passes can report as they completeDougal
2023-11-29Freeze highlighting and hover on click.Dougal
2023-11-29Plumbing for adding textual information on hover.Dougal
2023-11-28Move most of the highlighting logic to Haskell where we can change it more ea...Dougal
2023-11-28Tweaks to parse highlighting. It's works pretty nicely now!Dougal
2023-11-27Use explicit data structures to represent the AST on the browser side.Dougal
2023-11-16Add line numbers to live view.Dougal
2023-11-15Improve live view performanceDougal
2023-11-15Rewrite the live view system to be explicitly incremental by dealing in diffs.Dougal
2023-06-16Highlighting tweak: add an outline to make the nesting order clearer.Dougal
2023-06-15Small tweak to the parse/group highlighting.Dougal
2023-06-13Initial support for tooltips: parse tree visualizations.Dan Zheng
2022-05-18I guess comments are not allowed inside HTML tags? Who knew.Alexey Radul
2022-05-18Fix bad "Apply reviewer suggestion".Alexey Radul
2022-05-18Flush Plotly, since we don't use it.Alexey Radul
2022-05-18Update static/index.jsaxch
2022-05-18Allow dex web to be used without a network connection.Alexey Radul
2021-06-07Center main output section in dex-webLyndon White
2021-04-13fix navbar not showing up in static HTML docsLyndon White
2021-02-08add scrolling to nav barLyndon White
2021-02-08add Navigation SidebarLyndon White
2021-02-01Support LaTeX in static rendered HTML. (#487)Dan Zheng
2021-01-09Do not perform `dex web` LaTeX rendering for non-prose blocks. (#447)Dan Zheng
2021-01-09Add LaTeX rendering for HTML-rendered Dex via KaTeX. (#444)Dan Zheng
2021-01-09Remove extra CSS bottom padding in HTML-rendered Dex. (#445)Dan Zheng
2020-09-08Add syntax highlighting for isomorphism sugar.Daniel Johnson
2020-01-10Send a "start" message from notebook server on first connection.Dougal Maclaurin
2019-10-12Change license from Apache to BSD (standard in Haskell community)Dougal Maclaurin
2019-10-06Server-side plotting, using diagrams instead of plotlyDougal Maclaurin
2019-10-04Add license, license headers and contributors fileDougal Maclaurin
2019-10-03Reintroduce :parse, and add some content to the tutorialDougal Maclaurin
2019-10-03Notebook tweakDougal Maclaurin
2019-10-02Fix bug in notebook to do with duplicate cellsDougal Maclaurin
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-22 20:50:33 +0000