Alloy Community

User login

Reference Manual?

Home » Forums » Help » General Alloy Questions
 
Posted on: Thu, 10/22/2009 - 00:27
David Minor
Joined: 2009-10-20
Points: 19
User is offline
Reference Manual?
What is the equivalent of an Alloy reference manual? I saw a link to 3.0 documentation but it just led me back to a previous page.
 
Posted on: Thu, 10/22/2009 - 00:56    #1
David Minor
Joined: 2009-10-20
Points: 19
User is offline
I found it, someone should correct the link.
http://alloy.mit.edu/reference-manual.pdf
 
Posted on: Thu, 10/22/2009 - 07:44    #2
Felix Chang
Joined: 2008-05-15
Points: 334
User is offline
Hi: Which page contained the incorrect link?

(By the way, this website still contained subpages
dedicated to Alloy3, and Alloy2.  So while on those pages,
the reference manual and FAQ links would point to
historical documents)
 
Posted on: Mon, 10/26/2009 - 00:35    #3
David Minor
Joined: 2009-10-20
Points: 19
User is offline
The page: http://alloy.mit.edu/alloy4/
Contains a link titled: old Alloy 3 documentation, that points to http://alloy.mit.edu/community/.
 
Posted on: Mon, 10/26/2009 - 02:35    #4
David Minor
Joined: 2009-10-20
Points: 19
User is offline
Also... Felix, if you or someone else could help me with my previous post. I entered an update which makes it much more specific.
Thanks
 
Posted on: Mon, 10/26/2009 - 08:22    #5
Felix Chang
Joined: 2008-05-15
Points: 334
User is offline
> The page: http://alloy.mit.edu/alloy4/
> Contains a link titled: old Alloy 3 documentation, that points to http://alloy.mit.edu/community/.

Thank you!  I've corrected the link.

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte