Ssreflect Users Discussion List

[Enrico Tassi <>]

It is now morally required by coq_makefile and company to put your files
into a directory (that is not ".").

If there is no objection I will move all .v files into a theories/
directory.

This will also make the svn repo look more like the standard
distribution of ssreflect.  Finally it will fix the build process on
hudson (there is another way out that does not require the move, but is
very ugly).

Best,
-- 
Enrico Tassi