AsteroidMeta: RecentChanges

spam sucks

Updates in the last 7 days

1 days 3 days 7 days 30 days 90 days
List all changes Include minor changes
List later changes

2008-07-08

04:35 UTC (diff) (history) mmj2Release20080801 . . . . ocat – An Algorithm For Sequencing .mmt file Theorem Updates and Inserts While Checking For Cyclic References In Proofs

2008-07-07

07:19 UTC (diff) (history) PM-Xi . . . . rspuzio – Update
06:18 UTC (diff) (history) ocat . . . . ocat – Alarming article about Bush's next war: Iran! Definitely give this a read.

2008-07-05

23:44 UTC (diff) (history) 2008 PM Summer of Code Coordination . . . . akrowne – added links to funded project proposals on google