Recent site activity

Site owners

  • Mark Lentczner

Recent site activity

Mar 27, 2012, 4:30 PM Joe Gibbs Politz created Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz updated AfterInvoke.png
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached with-windows.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached with-windows-correct-instances.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached tutorial.zip to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached trace-and-test.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz updated tokens-and-instances-withfact.als
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached launch-example.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz updated just-time.als
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached invoke-example.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached init-example.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached full-example.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached counterexample.als to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached NoopInvokePre.png to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached NoopInvokePost.png to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached InvokePre.png to Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz created Understanding Belay with Alloy
Mar 27, 2012, 4:29 PM Joe Gibbs Politz attached InvokePost.png to Understanding Belay with Alloy
Mar 9, 2012, 5:08 PM Joseph Politz edited Open-source Belay Applications
Mar 9, 2012, 5:07 PM Joseph Politz edited Open-source Belay Applications
Mar 9, 2012, 5:07 PM Joseph Politz edited Open-source Belay Applications
Mar 9, 2012, 5:06 PM Joseph Politz created Open-source Belay Applications
Feb 22, 2012, 9:36 AM Mark Lentczner attached Belay Talk to UC Berkeley.pdf to Materials
Feb 21, 2012, 4:48 PM Mark Lentczner attached Belay Poster.jpg to New material and a poster
Feb 21, 2012, 4:48 PM Mark Lentczner attached BayHac12_banner copy.png to New material and a poster