Skip to content

History / Restrictions

Revisions

  • Packages are named in the @notatio scope

    @enumeratio enumeratio committed Nov 13, 2026
  • Statistics and Maps, Restrictions: the current design; layering, fields, options, posets, encodings: real status

    @enumeratio enumeratio committed Nov 13, 2026
  • Archive retired pages, promote adopted ones, stubs at names the repo links

    @enumeratio enumeratio committed Nov 13, 2026