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