aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend
Commit message (Expand)AuthorAge
* refactor: show semantics even if propagation failsLibravatar Kristóf Marussy10 days
* chore(deps): bump dependenciesLibravatar Kristóf Marussy11 days
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-23
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-17
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-01
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
* feat: rule parsingLibravatar Kristóf Marussy2024-05-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
* fix(frontend): broken zoom: property in FirefoxLibravatar Kristóf Marussy2024-05-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-05-04
* feat(frontend): icon for error edgesLibravatar Kristóf Marussy2024-04-28
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy2024-04-27
* refactor(frontend): fix icon placement in SafariLibravatar Kristóf Marussy2024-04-27
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy2024-04-27
* refactor(fronted): add visibility checkbox tooltipsLibravatar Kristóf Marussy2024-04-27
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy2024-04-27
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-26
* feat(frontend): add homepage linkLibravatar Kristóf Marussy2024-04-12
* feat(frontend): add tooltips to buttonsLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): friendlier table view messagesLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): remember export setting for auto themeLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): improve SVG minificationLibravatar Kristóf Marussy2024-04-12
* feat(web): embed SVG into HTML directlyLibravatar Kristóf Marussy2024-04-11
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-04-11
* docs: add webmanifestLibravatar Kristóf Marussy2024-04-10
* docs: basic theme and structureLibravatar Kristóf Marussy2024-04-09
* docs: add Docusaurus websiteLibravatar Kristóf Marussy2024-04-08
* fix(frontend): * operator highlightingLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
* build: move Javascript config to top levelLibravatar Kristóf Marussy2024-04-07
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
* chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
* feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
* fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
* refactor(frontend): improve save dialog labelLibravatar Kristóf Marussy2024-02-24
* build(web): remove extraneous console outputLibravatar Kristóf Marussy2024-02-23
* build(web): include embedded font assets in service workerLibravatar Kristóf Marussy2024-02-23
* feat(web): pdf exportLibravatar Kristóf Marussy2024-02-23
* refactor(web): use filesystem access API when availableLibravatar Kristóf Marussy2024-02-23
* fix(frontend): top button stylingLibravatar Kristóf Marussy2024-02-23
* feat(frontend): graph export formal selectorLibravatar Kristóf Marussy2024-02-23
* feat(frontend): add top bar logoLibravatar Kristóf Marussy2024-02-23
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 23:42:56 +0000