GitHub - necauqua/Alloy: IntelliJ IDEA language plugin for the Alloy specification language

necauqua / Alloy Public

IntelliJ IDEA language plugin for the Alloy specification language

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
gradle/wrapper		gradle/wrapper
src/main		src/main
.gitignore		.gitignore
build.gradle.kts		build.gradle.kts
get_alloy.sh		get_alloy.sh
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts