2015-02-07 | jim | Promote de Bruijn | commit | commitdiff |
2015-02-07 | jim | Add Dana Scott, demote Dijkstra, add de Bruijn | commit | commitdiff |
2015-02-07 | jim | add Steele | commit | commitdiff |
2015-02-03 | jim | rename _people.mdwn to people.mdwn | commit | commitdiff |