Skip to content
Snippets Groups Projects

Minor change in Contexts section

Passed
Mallku Soldevila created pipeline for commit f27d4f85
, finished
1 related merge request: !18 Minor changes in rule distinct_elim, nary_elim, distinct_elim, and source code docu. in doc.tex
1 job 3 minutes 3 seconds, queued for 1 seconds