3 Commits

Author	SHA1	Message	Date
Neil Brown	d98c5079ca	Cleaned up all the warnings in Tock's code (most unused modules, or unused functions)	2009-05-19 09:05:38 +00:00
Neil Brown	853a52cc00	Finished the name change from Polyplate to Alloy ... Most of this was a find-and-replace, PolyplateM -> AlloyA. But I also fixed some of the opsets and removed types that were no longer needed, and so on.	2009-05-11 15:22:58 +00:00
Neil Brown	bee000b9c7	Renamed all the Polyplate files to Alloy	2009-05-11 10:47:29 +00:00