[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [stellation-res] Alloy specification organization
|
On Saturday, September 13, 2003, at 07:08 PM, Jonathan Gossage wrote:
Have any decisions been made on to manage Alloy specifications in the
source
tree? One approach might be to create a single project with multiple
sub-directories. It would be helpful to come up with something so we
all use
the same conventions.
I was planning on putting them into a "specs" directory in the
repository project (or whichever project we're specifying. At the
moment, I don't see a need for full specifications of anything but
the repository core itself - but that could change.)
I don't want to put it into a separate project, because I think it
should be kept with the component that it specifies.
-Mark
Regards
Jonathan
_______________________________________________
stellation-res mailing list
stellation-res@xxxxxxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/stellation-res
Mark Craig Chu-Carroll, IBM T.J. Watson Research Center
*** The Stellation project: Advanced SCM Research
*** http://stellation.eclipse.org
*** Work: mcc@xxxxxxxxxxxxxx/Home: markcc@xxxxxxx
