Select Git revision
tictactoe_v2.tla
-
Michael Leuschel authoredMichael Leuschel authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
settings.gradle 279 B
include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor', 'de.bmotionstudio.rodin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.eventb.disprover.core', 'de.prob.eventb.disprover.ui', 'de.prob2.disprover.feature'