Skip to content
GitLab
Explore
Sign in
general
stups
ProB Rodin Plugin
Repository
prob_rodin_plugin
de.prob.core
build.gradle
Find file
Blame
History
Permalink
add de.prob.theorymapping to dependencies
· 396de13e
Sebastian Krings
authored
Mar 27, 2013
396de13e