v0.4.1

What's Changed

• Replace Owen with Kaspar for prod access by @jmoggr in #878
• Make deploy users consistent between staging and prod by @jmoggr in #879
• Docs for modal theories of Markov categories and categories of partial maps by @epatters in #872
• Fix 'DocHandle is not ready' error on readonly documents by @jmoggr in #883
• Keep parent document on the left in paned view by @kasbah in #880
• Don't show ownerless children under owned document by @jmoggr in #885

Full Changelog: v0.4.0...v0.4.1

v0.4.0

What's Changed

• Wrong port for Automerge document server on prod by @jmoggr in #842
• Prevent Automerge service hanging while stopping by @jmoggr in #844
• Move most components back to ui-components by @kasbah in #841
• Serialization of elaborated models and diagrams by @epatters in #806
• Use corvu's tooltip component in IconButton by @epatters in #847
• Notebook cells for instantiating models by @epatters in #748
• Make netlify add "deployment" info to PR rather than comment by @kasbah in #849
• Update Biome linter and enable "domain" for Solid linting by @kasbah in #846
• Add a LiveDocWithRef type and name Doc types consistently by @kasbah in #851
• Simplify deduplication of deps in vite config by @kasbah in #845
• DoubleTT elaboration of notebook instantiations by @olynch in #788
• FIX: Fix Netlify deploy being skipped on main push by @kasbah in #853
• Only allow creating instantiation cells when supported by elaborator by @epatters in #852
• Simple logic for power systems inspired by PyPSA by @epatters in #783
• Kuramoto model of synchronization by @epatters in #830
• Refactor/fix up LiveDocWithRef type changes by @kasbah in #855
• Fail gracefully when attempting to instantiate a non-model document by @epatters in #856
• Fix sensitivity of ODE analyses to object order by @epatters in #857
• Prevent wrapping in document title in sidebar by @perrybleiberg in #858
• Look up qualified names in notebook elaborator by @epatters in #863
• Move AppMenu button to Sidebar header to reduce empty space by @perrybleiberg in #860
• Docs for double theories for generalized PROs and multicategories by @epatters in #869
• Upgrade to match biome versions between NPM and Nix by @jmoggr in #867
• Enable rich text in readonly documents by @jmoggr in #868
• Run all frontend tests in CI with NixOS VM by @jmoggr in #816
• Skip Nix flake checks during deployment by @jmoggr in #876
• BUILD: Give Kaspar access to staging by @jmoggr in #877

New Contributors

• @perrybleiberg made their first contribution in #858

Full Changelog: v0.3.7...v0.4.0

v0.3.7

What's Changed

• Model library: a reactive cache of elaborated models by @epatters in #758
• Use Cachix cache when deploying from CI by @jmoggr in #760
• Notebook types for instantiating models by @epatters in #761
• Run frontend-only tests in CI action by @epatters in #763
• Model library recursively elaborates instantiated models by @epatters in #762
• Help page for Petri nets by @tim-at-topos in #737
• Fix failing integration test and improve error handling by @jmoggr in #765
• FIX: notebook-types package missing from backend Nix package by @jmoggr in #769
• Move Nix build job for catcolab-next to CI workflow by @jmoggr in #771
• Move database migrator into separate crate by @jmoggr in #775
• Give more descriptive name to Nix VM image by @jmoggr in #777
• Run Biome CI for automerge-doc-server by @epatters in #780
• Add missing wasm-pack dev dependency to notebook-types by @epatters in #781
• Downgrade automerge-prosemirror to fix Nix frontend build by @jmoggr in #776
• Improve backend setup docs and test backend set up in CI by @kasbah in #741
• Allow adding proarrow composites in modal theories by @epatters in #787
• Notion-like paned workflow for all document types by @jmoggr in #749
• Classes for maps with object/morphism types as keys by @epatters in #790
• Move ModelLibrary to app-level context by @epatters in #792
• FIX: Use document type instead of hardcoded 'model' in menu text by @jmoggr in #795
• Document deletion by @kasbah in #735
• Fix same document opening in multiple panes by @jmoggr in #797
• Click an already open doc in the sidebar to maximize that doc by @jmoggr in #798
• Allow document panels to scroll independently of each other by @jmoggr in #799
• Increase vertical real estate at end of notebook by @jmoggr in #800
• Upgrade Rust toolchain to v1.91 by @epatters in #802
• Run clippy with all targets and all features in CI by @epatters in #804
• Set branch alias for Netlify deploy previews by @kasbah in #809
• Refactor backend rpc.rs wrapper functions using async blocks by @jmoggr in #810
• Prevent notebook cells shifting when focussing a rich text editor cell by @jmoggr in #801
• Split out a ui-components package, showcase and test it with Storybook by @kasbah in #808
• FIX: Move doc components back to frontend to fix regressions by @kasbah in #813
• Fix regression in document deletion button by @kasbah in #821
• Delete document from sidebar menu by @kasbah in #815
• Replace welcome overlay with a home page by @kasbah in #824
• Remove kobalte dependency from frontend by @kasbah in #826
• Reorder documentation links on home page by @tim-at-topos in #827
• Add "trash" page and document restore functionality by @kasbah in #823
• Configure Vite to enable linking packages that use Solid by @epatters in #834
• Fixes and improvements to docs on stochastic mass-action simulation by @quffaro in #832
• Don't show "Loading" text in sidebar document list by @epatters in #836
• Ensure stable order of preimages in unindexed hash columns by @epatters in #837
• Fix deleted icons not restoring by @kasbah in #838
• Stop navigating away on delete and allow restore on sidebar by @kasbah in #839
• Upgrade vite to v7 and vitest to v4 by @kasbah in #833

Full Changelog: v0.3.6...v0.3.7

v0.3.6

What's Changed

• Add dialog with suggestion to duplicate view-only model by @kasbah in #670
• Patchwork tools for model and analysis editors by @epatters in #718
• Improve error when FIREBASE_PROJECT_ID is unset by @kasbah in #734
• Math docs for the double theory of fibrations by @epatters in #736
• Math docs for the double theory of categories with pullbacks by @epatters in #740
• Remove lingering type defs for links from frontend by @epatters in #743
• Store ref ID in generic LiveDoc type rather than Live[*]Document types by @epatters in #744
• DoubleTT elaboration for notebooks by @olynch in #727
• Extend DoubleTT elaboration to support any discrete double theory by @olynch in #746
• Split document menu into model and diagram menus by @epatters in #747
• Links in rich text editor by @jmoggr in #738
• Bump rebop to v0.9.3 by @quffaro in #752
• Reuse main component across most graph visualization analyses by @epatters in #753
• Frontend tests for standard library of theories by @epatters in #754
• In-memory cache of Automerge document IDs by @epatters in #756
• Reimplement keyboard shortcuts in notebook more simply by @epatters in #757

New Contributors

• @kasbah made their first contribution in #670

Full Changelog: v0.3.5...v0.3.6

v0.3.5

What's Changed

• Generate catlog models from doublett types by @olynch in #722
• Convert block comments to line comments in Rust code by @olynch in #726
• FIX: Cargo warning from patched dependency by @jmoggr in #731
• FIX: deploying from CI failing due to missing git by @jmoggr in #730
• Fix link to example model for ologs by @KevinDCarlson in #733

Full Changelog: v0.3.4...v0.3.5

v0.3.4

What's Changed

• Bump CatColabInterop.jl to v0.1.1 by @quffaro in #711
• Run migrations during backend startup by @jmoggr in #692
• Alternative pathway to fetch live documents using only Automerge by @epatters in #715
• Upgrade to egglog v0.5 by @epatters in #717
• Topological sort for graphs by @quffaro in #698
• Decision tree (binary) for new developer builds by @tim-at-topos in #721
• Petri net reachability analysis by @kris-brown in #696
• DoubleTT: type theory for models and their morphisms by @olynch in #716
• Upgrade Rust toolchain to v1.90 by @epatters in #723
• Stochastic mass-action dynamics for Petri nets by @quffaro in #619
• FIX: sqlx fails to build due to libssl linking error by @jmoggr in #724
• Ensure stable order of object/morphism generators and plot variables by @epatters in #725

Full Changelog: v0.3.3...v0.3.4

v0.3.3

What's Changed

• Upgrade Rust toolchain to v1.89 by @epatters in #684
• Default name for arrows in analyses by @tim-at-topos in #549
• Update citation link in schema documentation to correct arXiv link by @gilkeyio in #689
• Catch elaboration errors for models and diagrams by @epatters in #690
• Fix poor performance of Jupyter kernels in the frontend by @jmoggr in #687
• Reorganize landing page for math docs by @epatters in #693
• Fix duplicated/missing TS type defs for notebook-types by @epatters in #694
• Avoid use of NonEmpty in notebook-types by @epatters in #697
• Introduce a single type QualifiedName for all IDs by @epatters in #699
• Replace Jupyter server bash script with Julia code by @quffaro in #695
• Fixes and QoL improvements for CatColabInterop kernel management by @quffaro in #704
• Use elaborated model in analyses and store ID-label mapping in Rust by @epatters in #702
• Upgrade uuid crate to v1.12+ and getrandom to v0.3 by @epatters in #706
• Remove dev container by @epatters in #708

New Contributors

• @gilkeyio made their first contribution in #689

Full Changelog: v0.3.2...v0.3.3

v0.3.2

Fix reactivity bug introduced in v0.3.1.

Full Changelog: v0.3.1...v0.3.2

v0.3.1

What's Changed

• Remove 'test' mode for the backup service by @jmoggr in #667
• Pass the correct environment file to backup service by @jmoggr in #668
• Add Apache-2 as an optional second license by @epatters in #671
• Fix precompilation of AlgJulia interop package by @epatters in #673
• Math docs for modal double theories by @KevinDCarlson in #633
• Only trigger model/diagram elaboration when formal judgments change by @epatters in #682

Full Changelog: v0.3.0...v0.3.1

v0.3.0

What's Changed

• Automerge storage adapter for Postgres DB by @jmoggr in #446
• FIX: add missing deps to automerge-doc-server by @jmoggr in #528
• FIX: make automerge-doc-server standalone so it can be invoked by the migrator tool by @jmoggr in #530
• Paginate document search results by @jmoggr in #525
• FIX: add automerge-doc-server path to migrator service by @jmoggr in #532
• FIX: add missing catcolab secrets to automerge service by @jmoggr in #534
• Fixed link syntax error in README by @DavidMichaelRoberts in #533
• Add a Julia compat bound by @quffaro in #535
• FIX: dev docs build failing in CI by @jmoggr in #545
• Add prosemirror KaTex plugin and menu bar for the rich text editor by @jmoggr in #526
• Update to Rust v1.88 by @epatters in #548
• Include MIT license in Julia package sub-directory by @epatters in #550
• Functors between finitely presented categories by @epatters in #551
• Pushforward migration of models of discrete double theories by @epatters in #552
• Linear ODE analysis for CLDs by @tim-at-topos in #521
• Submodules for double doctrines by @epatters in #556
• Mid-2025 update to credits page by @epatters in #557
• Modal double theories in core by @epatters in #561
• Single-character typo in rich text editor by @tim-at-topos in #566
• Push forward models along theory inclusions in frontend by @epatters in #568
• Add documentation and community badges to README by @quffaro in #572
• Remove redundant type defs and complete notebook-types refactor by @epatters in #578
• Nice URLs for top-level sections of dev docs by @tim-at-topos in #576
• Models of modal double theories in core by @epatters in #580
• Wasm bindings and more precise terminology for modal double theories by @epatters in #587
• Completions match within string by @quffaro in #584
• Button in permissions dialog to copy document link to clipboard by @quffaro in #585
• Drop indicator for dragging cells by @quffaro in #588
• Changed line height to avoid descender clipping by @quffaro in #594
• Editor for lists of objects, with application to Petri nets by @epatters in #597
• Visualize Petri nets using Graphviz by @epatters in #600
• Landing page by @hamidahoderinwale in #445
• Run NixOS integration tests in CI by @jmoggr in #560
• Mass-action ODE semantics for Petri nets by @epatters in #601
• Remove BuildHasher type parameter from all structs by @olynch in #607
• Rework logic help pages and add analysis help pages by @tim-at-topos in #553
• Make color of logic help button consistent with nearby link by @epatters in #610
• Fix broken link in welcome overlay by @tim-at-topos in #614
• Validate models of modal double theories by @epatters in #617
• Fix failure of empty list of objects to validate by @epatters in #626
• Allow vertical scrolling in theory selector by @quffaro in #625
• Exclude Nix from GitHub language statistics by @epatters in #628
• More fixes related to validating models of modal theories by @epatters in #630
• Revert to building catcolab-next deployments on AWS by @jmoggr in #636
• Fix broken links in help pages by @tim-at-topos in #634
• Migrate notebook format to support cell reordering by @jmoggr in #603
• Automatically clean up old NixOS generations by @jmoggr in #645
• FIX: cached documents not being migrated on the client by @jmoggr in #643
• Skip diffing+patching if no document migration occurred by @jmoggr in #647
• Remove help? from TheoryMeta by @tim-at-topos in #644
• Replace Theory by TheoryMeta in TheoryHelpButton by @tim-at-topos in #646
• Fix title of model being needlessly cut off by @epatters in #651
• Split frontend theories into individual files by @tim-at-topos in #616
• Issue template for bug reports by @tim-at-topos in #649
• Major version increase for automerge, automerge-repo, and automerge-prosemirror by @epatters in #653
• Update automerge-doc-server dependencies hash in nix by @jmoggr in #656
• Reorganize dev and math docs by @tim-at-topos in #618
• Don't automatically focus the first cell in a notebook by @epatters in #659
• Push forward models along general maps in frontend by @epatters in #660
• More developer documentation redirects by @tim-at-topos in #661
• Fix reactivity problem with Graphviz SVG by @epatters in #662
• Warn when docs are missing in catlog-wasm by @epatters in #663

New Contributors

• @DavidMichaelRoberts made their first contribution in #533
• @tim-at-topos made their first contribution in #521

Full Changelog: v0.2.5...v0.3.0