Programming Languages Research Group: Git

-rw-r--r--	953	.gitignore	blob \| history \| raw
-rw-r--r--	345	.travis.yml	blob \| history \| raw
-rw-r--r--	11358	LICENSE-2.0.txt	blob \| history \| raw
-rw-r--r--	1241	README.md	blob \| history \| raw
drwxr-xr-x	-	bin	tree \| history
-rw-r--r--	6865	build.gradle	blob \| history \| raw
drwxr-xr-x	-	docs	tree \| history
drwxr-xr-x	-	examples	tree \| history
drwxr-xr-x	-	gradle	tree \| history
-rwxr-xr-x	5916	gradlew	blob \| history \| raw
-rw-r--r--	2941	gradlew.bat	blob \| history \| raw
-rw-r--r--	15333	jpf.properties	blob \| history \| raw
drwxr-xr-x	-	lib	tree \| history
-rw-r--r--	1788	main.jpf	blob \| history \| raw
-rwxr-xr-x	822	run.sh	blob \| history \| raw
-rw-r--r--	30	settings.gradle	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history