1.30.1

What's Changed

• Bump Node.js to 24 from 23 by @smorimoto in #1808
• flake.lock: Update by @github-actions in #1809
• Bump @biomejs/biome from 2.0.0-beta.2 to 2.0.0-beta.3 by @dependabot in #1810
• Bump parcel from 2.14.4 to 2.15.0 by @dependabot in #1811
• Bump @biomejs/biome from 2.0.0-beta.3 to 2.0.0-beta.4 by @dependabot in #1812
• Bump @types/node from 22.15.17 to 22.15.18 by @dependabot in #1813
• Bump @vscode/vsce from 3.3.2 to 3.4.0 by @dependabot in #1814
• Bump parcel from 2.15.0 to 2.15.1 by @dependabot in #1815
• Bump DeterminateSystems/update-flake-lock from 24 to 25 by @dependabot in #1816
• flake.lock: Update by @github-actions in #1817
• flake.lock: Update by @github-actions in #1818
• Bump @types/node from 22.15.18 to 22.15.19 by @dependabot in #1820
• Bump @vscode/vsce from 3.4.0 to 3.4.1 by @dependabot in #1819
• Bump @tsconfig/node22 from 22.0.1 to 22.0.2 by @dependabot in #1821
• Bump @biomejs/biome from 2.0.0-beta.4 to 2.0.0-beta.5 by @dependabot in #1822
• Bump @types/node from 22.15.19 to 22.15.21 by @dependabot in #1823
• Bump @tsconfig/node24 from 24.0.0 to 24.0.1 by @dependabot in #1824
• Bump @vscode/vsce from 3.4.1 to 3.4.2 by @dependabot in #1825
• flake.lock: Update by @github-actions in #1827
• Bump parcel from 2.15.1 to 2.15.2 by @dependabot in #1828
• flake.lock: Update by @github-actions in #1829
• Bump esbuild from 0.25.4 to 0.25.5 by @dependabot in #1830
• Bump @vscode/test-cli from 0.0.10 to 0.0.11 by @dependabot in #1831
• Bump @types/node from 22.15.21 to 22.15.23 by @dependabot in #1832
• flake.lock: Update by @github-actions in #1834
• Bump @types/node from 22.15.23 to 22.15.24 by @dependabot in #1835
• Bump @types/node from 22.15.24 to 22.15.27 by @dependabot in #1836
• Bump @types/node from 22.15.27 to 22.15.28 by @dependabot in #1837
• flake.lock: Update by @github-actions in #1838
• Bump @types/node from 22.15.28 to 22.15.29 by @dependabot in #1839
• Bump @biomejs/biome from 2.0.0-beta.5 to 2.0.0-beta.6 by @dependabot in #1840
• Bump ovsx from 0.10.2 to 0.10.3 by @dependabot in #1841
• Bump ovsx from 0.10.3 to 0.10.4 by @dependabot in #1843
• Bump @types/node from 22.15.29 to 22.15.30 by @dependabot in #1844
• Bump @vscode/vsce from 3.4.2 to 3.5.0 by @dependabot in #1845
• flake.lock: Update by @github-actions in #1846
• Bump @types/node from 22.15.30 to 24.0.0 by @dependabot in #1847
• Bump brace-expansion from 1.1.11 to 1.1.12 by @dependabot in #1848
• Bump @types/node from 24.0.0 to 24.0.1 by @dependabot in #1849
• flake.lock: Update by @github-actions in #1850
• Bump @types/node from 24.0.1 to 24.0.3 by @dependabot in #1852
• Bump @biomejs/biome from 2.0.0-beta.6 to 2.0.0 by @dependabot in #1853
• Bump parcel from 2.15.2 to 2.15.4 by @dependabot in #1858
• Bump @biomejs/biome from 2.0.0 to 2.0.4 by @dependabot in #1857
• flake.lock: Update by @github-actions in #1859
• Remove quoted string literal highlighting from grammar by @mnxn in #1860
• Enhance dune syntax highlighting for ctypes and deps by @ComanderP in #1851
• Bump @biomejs/biome from 2.0.4 to 2.0.5 by @dependabot in #1862
• Prepare 1.30.1 by @smorimoto in #1863

Full Changelog: 1.30.0...1.30.1

1.30.0

What's Changed

• Bump @types/node from 22.14.0 to 22.14.1 by @dependabot in #1787
• flake.lock: Update by @github-actions in #1789
• Bump ovsx from 0.10.1 to 0.10.2 by @dependabot in #1790
• flake.lock: Update by @github-actions in #1792
• Bump esbuild from 0.25.2 to 0.25.3 by @dependabot in #1793
• Bump @types/node from 22.14.1 to 22.15.0 by @dependabot in #1794
• Bump @types/node from 22.15.0 to 22.15.2 by @dependabot in #1795
• flake.lock: Update by @github-actions in #1796
• Bump @types/node from 22.15.2 to 22.15.3 by @dependabot in #1797
• flake.lock: Update by @github-actions in #1798
• flake.lock: Update by @github-actions in #1799
• Bump esbuild from 0.25.3 to 0.25.4 by @dependabot in #1801
• Bump @types/node from 22.15.3 to 22.15.12 by @dependabot in #1800
• Bump @types/node from 22.15.12 to 22.15.14 by @dependabot in #1803
• Bump @types/node from 22.15.14 to 22.15.15 by @dependabot in #1804
• Bump @types/node from 22.15.15 to 22.15.17 by @dependabot in #1806
• mlx syntax highlight by @davesnx in #1802

New Contributors

• @davesnx made their first contribution in #1802

Full Changelog: 1.29.0...1.30.0

1.29.0

What's Changed

• flake.lock: Update by @github-actions in #1753
• Bump @vscode/vsce from 3.2.2 to 3.3.0 by @dependabot in #1754
• Bump parcel from 2.13.3 to 2.14.0 by @dependabot in #1755
• Bump parcel from 2.14.0 to 2.14.1 by @dependabot in #1756
• Bump @types/node from 22.13.10 to 22.13.11 by @dependabot in #1757
• flake.lock: Update by @github-actions in #1760
• Bump parcel from 2.14.1 to 2.14.2 by @dependabot in #1761
• Bump @types/node from 22.13.11 to 22.13.12 by @dependabot in #1762
• Bump @tsconfig/node22 from 22.0.0 to 22.0.1 by @dependabot in #1763
• Bump @types/node from 22.13.12 to 22.13.13 by @dependabot in #1764
• Bump @vscode/vsce from 3.3.0 to 3.3.1 by @dependabot in #1765
• Bump @types/node from 22.13.13 to 22.13.14 by @dependabot in #1768
• Bump react from 19.0.0 to 19.1.0 by @dependabot in #1769
• Bump parcel from 2.14.2 to 2.14.3 by @dependabot in #1771
• Bump react-dom from 19.0.0 to 19.1.0 by @dependabot in #1770
• flake.lock: Update by @github-actions in #1772
• Bump parcel from 2.14.3 to 2.14.4 by @dependabot in #1773
• Bump esbuild from 0.25.1 to 0.25.2 by @dependabot in #1774
• Bump @vscode/vsce from 3.3.1 to 3.3.2 by @dependabot in #1775
• Bump @types/node from 22.13.14 to 22.13.16 by @dependabot in #1776
• Bump @types/node from 22.13.16 to 22.13.17 by @dependabot in #1777
• Bump @types/node from 22.13.17 to 22.14.0 by @dependabot in #1779
• Automatically install or update ocaml-lsp-server by @PizieDust in #1725
• Bump typescript from 5.8.2 to 5.8.3 by @dependabot in #1780
• flake.lock: Update by @github-actions in #1781
• flake.lock: Update by @github-actions in #1783
• Bump dune to 3.18 by @smorimoto in #1782
• Bump @vscode/test-electron from 2.4.1 to 2.5.1 by @dependabot in #1785
• Bump @vscode/test-electron from 2.5.1 to 2.5.2 by @dependabot in #1786
• Prepare 1.29.0 by @smorimoto in #1784

Full Changelog: 1.28.2...1.29.0

1.28.2

What's Changed

• flake.lock: Update by @github-actions in #1746
• Bump @types/node from 22.13.9 to 22.13.10 by @dependabot in #1747
• Bump esbuild from 0.25.0 to 0.25.1 by @dependabot in #1748
• Bump cachix/install-nix-action from 30 to 31 by @dependabot in #1749
• flake.lock: Update by @github-actions in #1752
• Map Alt+D to the correct action kind in package.json by @dalps in #1750

New Contributors

• @dalps made their first contribution in #1750

Full Changelog: 1.28.1...1.28.2

1.28.1

What's Changed

• Bump @types/node from 22.10.7 to 22.10.9 by @dependabot in #1714
• Bump @types/node from 22.10.9 to 22.10.10 by @dependabot in #1715
• flake.lock: Update by @github-actions in #1716
• Bump @types/node from 22.10.10 to 22.12.0 by @dependabot in #1717
• Bump @vscode/vsce from 3.2.1 to 3.2.2 by @dependabot in #1718
• flake.lock: Update by @github-actions in #1720
• Bump @types/node from 22.12.0 to 22.13.0 by @dependabot in #1721
• Bump @types/node from 22.13.0 to 22.13.1 by @dependabot in #1722
• flake.lock: Update by @github-actions in #1724
• Bump esbuild from 0.24.2 to 0.25.0 by @dependabot in #1726
• Add latest ocaml-lsp versions by @voodoos in #1729
• Bump @types/node from 22.13.1 to 22.13.2 by @dependabot in #1730
• Update docs for the latest opam for Windows by @smorimoto in #1728
• Bump @types/node from 22.13.2 to 22.13.4 by @dependabot in #1731
• flake.lock: Update by @github-actions in #1732
• Bump sirv from 3.0.0 to 3.0.1 by @dependabot in #1733
• flake.lock: Update by @github-actions in #1734
• Bump @types/node from 22.13.4 to 22.13.5 by @dependabot in #1735
• flake.lock: Update by @github-actions in #1736
• Bump @types/node from 22.13.5 to 22.13.7 by @dependabot in #1739
• Bump typescript from 5.7.3 to 5.8.2 by @dependabot in #1738
• flake.lock: Update by @github-actions in #1740
• Bump @types/node from 22.13.7 to 22.13.8 by @dependabot in #1742
• Fix odoc syntax color for math block with braces by @dlesbre in #1741
• Bump @types/node from 22.13.8 to 22.13.9 by @dependabot in #1743
• Prepare 1.28.1 by @smorimoto in #1744

Full Changelog: 1.28.0...1.28.1

1.28.0

What's Changed

• Add reason language to ast_editor by @pedrobslisboa in #1685
• Prepare 1.28.0 by @smorimoto in #1713

New Contributors

• @pedrobslisboa made their first contribution in #1685

Full Changelog: 1.27.0...1.28.0

1.27.0

What's Changed

• flake.lock: Update by @github-actions in #1699
• Bump @types/node from 22.10.2 to 22.10.3 by @dependabot in #1700
• Update bindings by @smorimoto in #1698
• Bump @types/node from 22.10.3 to 22.10.4 by @dependabot in #1701
• Bump @types/node from 22.10.4 to 22.10.5 by @dependabot in #1702
• flake.lock: Update by @github-actions in #1703
• Bump typescript from 5.7.2 to 5.7.3 by @dependabot in #1706
• flake.lock: Update by @github-actions in #1707
• Bump @types/node from 22.10.5 to 22.10.6 by @dependabot in #1708
• Bump @types/node from 22.10.6 to 22.10.7 by @dependabot in #1709
• New command: Type of dynamic selection by @voodoos in #1675
• Remove uses of Handlers in type of selection by @voodoos in #1710
• Improve quick peek with highlighting in both the jump and holes commands by @PizieDust in #1705
• flake.lock: Update by @github-actions in #1711
• Prepare 1.27.0 by @smorimoto in #1712

Full Changelog: 1.26.1...1.27.0

1.26.1

What's Changed

• Bump parcel from 2.13.2 to 2.13.3 by @dependabot in #1690
• Bump esbuild from 0.24.0 to 0.24.1 by @dependabot in #1691
• Bump esbuild from 0.24.1 to 0.24.2 by @dependabot in #1692
• flake.lock: Update by @github-actions in #1693
• Fix bug by @PizieDust in #1694
• Display message instead of empty list by @PizieDust in #1695
• Prepare 1.26.1 by @smorimoto in #1697

Full Changelog: 1.26.0...1.26.1

1.26.0

What's Changed

• flake.lock: Update by @github-actions in #1686
• flake.lock: Update by @github-actions in #1687
• flake.lock: Update by @github-actions in #1688
• Navigating Typed Holes by @PizieDust in #1666
• Prepare 1.26.0 by @smorimoto in #1689

Full Changelog: 1.25.0...1.26.0

1.25.0

What's Changed

• Search By Type or Polarity by @PizieDust in #1626
• Bump @types/node from 22.10.1 to 22.10.2 by @dependabot in #1682
• Bump react-redux from 9.1.2 to 9.2.0 by @dependabot in #1683
• Prepare 1.25.0 by @smorimoto in #1684

Full Changelog: 1.24.0...1.25.0