Programming Languages Research Group: Git

-rw-r--r--	615	.classpath	blob \| history \| raw
-rw-r--r--	192	.gitignore	blob \| history \| raw
drwxr-xr-x	-	.idea	tree \| history
-rw-r--r--	644	.project	blob \| history \| raw
-rw-r--r--	292	.travis.yml	blob \| history \| raw
-rw-r--r--	11358	LICENSE-2.0.txt	blob \| history \| raw
drwxr-xr-x	-	META-INF	tree \| history
-rw-r--r--	1111	README.md	blob \| history \| raw
drwxr-xr-x	-	bin	tree \| history
-rw-r--r--	379	build.properties	blob \| history \| raw
-rw-r--r--	18316	build.xml	blob \| history \| raw
drwxr-xr-x	-	docs	tree \| history
drwxr-xr-x	-	eclipse	tree \| history
-rw-r--r--	15254	jpf.properties	blob \| history \| raw
drwxr-xr-x	-	nbproject	tree \| history
drwxr-xr-x	-	src	tree \| history