SE462:2007-07-23: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 February 2008

  • curprev 19:4619:46, 15 February 2008 Mark talk contribs 1,609 bytes +1,609 New page: == SE462 Meeting of 23 July 2007 == === Alloy === * Everything in Alloy is a set of tuples. A basic datatype is a set of tuples. * There are NO numbers in Alloy. * ATOMS exist.. Scope {B...
Retrieved from "https://wiki.kram.nz/w/SE462:2007-07-23"