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

v0.2.5

What's Changed

• Fixes to Nix config for production deployment by @jmoggr in #492
• Stock-flow visualization: Larger boxes, ortho flows, and blue links by @eRedekopp in #494
• Upgrade from tsify_next back to tsify by @epatters in #495
• Well-typing predicate in egglog theory of categories by @epatters in #496
• Linked to an analysis instead of a model by @KevinDCarlson in #498
• Rename AlgebraicJuliaService to CatColabInterop and refactor by @quffaro in #429
• Document breadcrumbs by @jmoggr in #464
• Refactor frontend-core interface to process notebooks in Rust by @olynch in #473
• Pin rust toolchain version used in CI by @jmoggr in #505
• Use rust-toolchain.toml as source of truth for rust version by @jmoggr in #508
• Upgrade Rust to 1.87.0 by @jmoggr in #509
• Add lld to Nix dev shell by @jmoggr in #513
• Use sqlx_migrator for migrations by @jmoggr in #510
• Add db-utils script for database development by @jmoggr in #516
• FIX: pass custom rustToolchain to migrator package by @jmoggr in #517
• Add rclone.conf to be used for backup service on next by @epatters in #520
• Fix paths in backupdb script and add option for different envs by @jmoggr in #518
• Run backupd script at end of deploys to act as a canary for the backup timer by @jmoggr in #519
• Add --clean argument to pg_dump for database backups by @jmoggr in #522
• Increase limit on number of search results returned to 1000 by @jmoggr in #524

New Contributors

• @eRedekopp made their first contribution in #494

Full Changelog: v0.2.4...v0.2.5

v0.2.4

What's Changed

• Upgrade to 2024 edition of Rust by @epatters in #425
• Toward virtual double categories: some traits and data structures by @epatters in #428
• Add Jason's ssh public key to catcolab-next by @jmoggr in #436
• Refactor double theories to use virtual double categories by @epatters in #441
• Operad structure on double trees by @epatters in #442
• The VDC freely generated by a virtual double graph by @epatters in #449
• Automate the deployment of the backend for catcolab-next by @jmoggr in #450
• Manage backend services with nix and share configuration across hosts by @jmoggr in #455
• Include js sourcemaps in frontend build output by @jmoggr in #457
• Remove vite-plugin-top-level-await to fix source maps by @jmoggr in #460
• Pull CatColab from ToposInstitute and deploy current hosts configuration by @jmoggr in #461
• Remove deployuser script and run build commands over ssh by @jmoggr in #462
• Universal property of composites in VDCs by @epatters in #453
• Log users out if their session is stale by @jmoggr in #459
• Wait until document is loaded to use fully defined document object by @jmoggr in #463
• Add backend for quering refs and a documents page by @jmoggr in #465
• Refactor double trees to use new data structure for open trees by @epatters in #471
• Support for Darwin devShell in flake.nix by @ydewit in #479
• Finitely presented categories backed by e-graphs by @epatters in #474
• Fix firebase JWT keys not being refreshed by @jmoggr in #483
• Filter logs using level from RUST_LOG is available by @jmoggr in #486
• Generate numeric IDs for egglog rather coercing to symbols by @epatters in #487
• Use nix to install fswatch and the full TeXLive distribution by @ydewit in #488
• Fix cut and paste errors in backups config by @jmoggr in #490
• Fix typo in Nix config for backup service by @jmoggr in #491

New Contributors

• @ydewit made their first contribution in #479

Full Changelog: v0.2.3...v0.2.4

v0.2.3

What's Changed

• Show an error message when unauthorized access is attempted by @jmoggr in #398
• Dev docs on free models of double theories by @epatters in #301
• Option to bound length of paths considered by morphism finder by @epatters in #419
• Import/export JSON for models and diagrams by @KevinDCarlson in #332
• Page container and reorganized menubar by @epatters in #422
• Use app-wide form components for JSON import by @epatters in #423

Full Changelog: v0.2.2...v0.2.3

v0.2.2

What's Changed

• Expose basic graph layout options in frontend by @epatters in #390
• Have menu bar float with scroll in model by @jmoggr in #397
• Help page for quick introduction by @KevinDCarlson in #400
• Mitigate failed test cleanups by logging in if the user already exists by @jmoggr in #399
• Link to quick intro from main help page by @KevinDCarlson in #405

New Contributors

• @jmoggr made their first contribution in #397

Full Changelog: v0.2.1...v0.2.2

v0.2.1

What's Changed

• Nix config for daily backup of database by @epatters in #371
• Remove Sentry from Automerge doc server and Nix config by @epatters in #372
• Warning for incomplete signup form submission by @hamidahoderinwale in #352
• Individual READMEs for the backend and frontend packages by @epatters in #373
• More idiomatic phrasing for general access permissions by @epatters in #386
• Help pages for all theories by @KevinDCarlson in #389

Full Changelog: v0.2...v0.2.1

v0.2: Wren

What's Changed

• Temporary workaround for backend in dev environment by @goretkin in #217
• Upgrade to automerge-prosemirror v0.0.13 by @epatters in #218
• Upgrade to babel-plugin-jsx-dom-expressions v0.39.2 by @epatters in #220
• Cell menu items to move cell up or down by @hamidahoderinwale in #215
• Dev docs comparing (bi)modules over models of double theories by @KevinDCarlson in #175
• BUILD: Small dev infra changes by @goretkin in #221
• Horizontal scrollbar in content panels by @hamidahoderinwale in #226
• Causal loop diagrams with unknown link polarities by @quffaro in #227
• Remove broken linear path in layout for links in stock-flow diagrams by @KevinDCarlson in #232
• Add nix config for dev server by @shaoweilin in #233
• Set Vite mode when building frontend for staging deployment by @epatters in #234
• Check monicity of free simple model morphisms, initialize hom search, monic search constraint by @kris-brown in #204
• Rewrite web server in Rust and implement auth by @epatters in #211
• Selection widget for theories by @hamidahoderinwale in #225
• Tweak names, descriptions, and groups of theories by @epatters in #249
• Diagram editor for models of discrete double theories by @epatters in #251
• Double theory for diagrammatic equations with unary operations by @epatters in #257
• Diagrams in models of discrete double theories by @KevinDCarlson in #248
• Validate diagrams in models of discrete double theories by @epatters in #259
• Wasm bindings for diagrams for discrete theories, and frontend integration by @epatters in #261
• Upgrade ode_solvers crate to v0.5 by @epatters in #262
• Export SVG for model visualizations by @hamidahoderinwale in #258
• Toolbar and header for diagram editor by @epatters in #263
• Analyses for diagrams in models by @epatters in #264
• Visualize diagrams in models using Graphviz by @epatters in #265
• Replace/remove a few type aliases for IDs by @epatters in #268
• Anonymous objects in diagrams by @epatters in #270
• Render empty model name as Untitled in backlinks by @kris-brown in #273
• Run Decapodes simulation via Julia kernel in Jupyter by @epatters in #267
• Send Decapodes judgments after type inference and validation by @epatters in #275
• Categories with scalars by @KevinDCarlson in #274
• UI to edit scalar constants in Decapodes analysis by @epatters in #277
• Anon objects, scalar constants, and more DEC operators in Decapodes integration by @quffaro in #279
• Upgrade to qubit v0.10.2 and ts_rs v10.1.0 by @epatters in #280
• Improved Decapodes integration: domains, meshes, initial conditions, plot variables by @epatters in #283
• Reactive helpers for Jupyter kernels by @epatters in #285
• Reorganize code in AlgebraicJulia service by @quffaro in #287
• Models of discrete tabulator theories in core by @epatters in #292
• Validate models of discrete tabulator theories by @epatters in #294
• Wasm bindings for models of discrete tabulator theories by @epatters in #295
• Script to build sys image for AlgebraicJulia service by @quffaro in #289
• Remove redundant mesh parameter in Decapodes interop by @quffaro in #300
• Button to get help about the active theory by @hamidahoderinwale in #278
• Duplicate a cell via cell popup menu by @epatters in #305
• Auto-generated summary of theory in theory-specific help page by @epatters in #307
• Document-level menus for models, diagrams, and analyses by @epatters in #309
• Menu items to duplicate models and diagrams by @epatters in #310
• Style Foldable better and add PanelHeader by @epatters in #311
• Help page with list of all theories by @epatters in #312
• Menu item to log in or log out by @epatters in #313
• Models in the frontend always have a specified theory by @epatters in #316
• Causal loop diagrams with delays by @epatters in #322
• Fix wrong placement of caesuras when multiple graphs share edges by @epatters in #325
• Usernames in backend and frontend by @epatters in #317
• Distinguish icons for different kinds of help by @hamidahoderinwale in #328
• Duration parameter for Decapodes simulations by @quffaro in #329
• Nix configuration, scripts and documentation for automerge and backend services by @shaoweilin in #331
• Share documents on per-user basis by @epatters in #330
• Remove mathexpr module for now by @epatters in #336
• Upgrade wasm-bindgen and fix new lint by @epatters in #337
• Polynomials and polynomial parameterized dynamical systems by @epatters in #338
• Mass-action ODE systems for stock-flow diagrams by @epatters in #345
• Bibliography link doesn't work in staging deployment by @epatters in #354
• Update credits page for v0.2 release by @epatters in #355
• More specific text in menu item for user profile settings by @epatters in #367
• Add "New model" action to default application menu by @epatters in #368
• Standardize base types for documents and links between them by @epatters in #369

New Contributors

• @hamidahoderinwale made their first contribution in #215
• @quffaro made their first contribution in #227

Full Changelog: v0.1.1...v0.2

v0.1.1

What's Changed

• Switch from npm to pnpm by @epatters in #203
• Add support for a dev container by @goretkin in #210
• Add Shaowei's public key by @shaoweilin in #213
• Rename backend-next to backend for prod server by @shaoweilin in #214

New Contributors

• @goretkin made their first contribution in #210
• @shaoweilin made their first contribution in #213

Full Changelog: v0.1...v0.1.1