	Failed to load latest commit information.
	src/clj_formal_specifications	Fixed commas in comments.	May 3, 2015
	test/clj_formal_specifications	Moved :spec-ref metadata from refs created with execute-init to the v…	Mar 21, 2015
	.gitignore	Added CCW related files to gitignore.	May 7, 2015
	LICENSE	Created project with Leiningen.	Dec 24, 2014
	README.md	Fix links in README.	Mar 9, 2018
	project.clj	Bumped version.	Mar 21, 2015