You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Likely related to #162, the docstrings attached to theories are messed up on Julia v1.11:
julia>using GATlab
julia>@doc ThCMonoid
Base.Docs.DocStr(svec(" The theory of a monoid where multiplication enjoys commutativity.\n\nExamples:\n - The set of classical 1-knots under \"knot sum\"\n"), nothing, Dict{Symbol, Any}(:typesig=> Union{}, :module=> GATlab.Stdlib.StdTheories, :linenumber=>118, :binding=> GATlab.Stdlib.StdTheories.##909, :path => "/home/epatters/Local/algjulia/gatlab/src/stdlib/theories/algebra.jl"))
ThCMonoid
=========
[...]
There are also failing tests related to docstrings.
The text was updated successfully, but these errors were encountered:
Likely related to #162, the docstrings attached to theories are messed up on Julia v1.11:
There are also failing tests related to docstrings.
The text was updated successfully, but these errors were encountered: