Skip to content

Adds the ability to rename inference rules when Tex filtering.#106

Open
heades wants to merge 50 commits into
ott-lang:masterfrom
heades:master
Open

Adds the ability to rename inference rules when Tex filtering.#106
heades wants to merge 50 commits into
ott-lang:masterfrom
heades:master

Merge branch 'ott-lang:master' into master

245ee6f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs