Special:RecentChanges
From Accessible Integrated Formal Reasoning Environments
Track the most recent changes to the wiki on this page.
Legend: N - new page, m - minor edit, b - bot edit.
20 May 2012
- (diff | hist) . . Prototype: Component Tools: SPIN; 06:50 . . (+65) . . Andrei (Talk | contribs)
- (diff | hist) . . Prototype: Component Tools: SPIN; 06:35 . . (+7) . . Andrei (Talk | contribs)
- (diff | hist) . . N Prototype: Component Tools: SPIN; 06:34 . . (+652) . . Andrei (Talk | contribs) (Created page with "== Retrieval and installation == The latest version of SPIN can be obtained here: [http://spinroot.com/spin/Man/README.html http://spinroot.com/spin/Man/README.html]. To instal...")
- (diff | hist) . . Prototype: Development; 06:31 . . (-47) . . Andrei (Talk | contribs)
- (diff | hist) . . Prototype: Development; 06:04 . . (+2) . . Andrei (Talk | contribs)
- (diff | hist) . . Prototype: Development; 06:04 . . (+84) . . Andrei (Talk | contribs)
18 May 2012
- (diff | hist) . . Prototype: Development; 06:28 . . (+1,825) . . Andrei (Talk | contribs)
- (diff | hist) . . MediaWiki:Sidebar; 06:14 . . (+68) . . Andrei (Talk | contribs)
- (diff | hist) . . N Prototype: Development; 05:57 . . (+136) . . Andrei (Talk | contribs) (Created page with "This article contains materials related to the current effort to develop a prototype accessible integrated formal reasoning environment.")
17 May 2012
- (diff | hist) . . m Reports and documents; 06:20 . . (-1) . . Sanaz (Talk | contribs)
- (diff | hist) . . Reports and documents; 06:20 . . (+1) . . Sanaz (Talk | contribs)
- (User creation log); 05:53 . . Andrei (Talk | contribs) created new account User:Saber
- (User creation log); 05:53 . . Andrei (Talk | contribs) created new account User:Sanaz
15 May 2012
- (User rights log); 20:04 . . Admin (Talk | contribs) changed group membership for User:Andrei from (none) to Administrators and Bureaucrats