| 2010-09-20 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff |
| 2010-09-20 | Jim Pryor | switched to only Chris' lambda calculator | blob | commitdiff |
| 2010-09-20 | Jim Pryor | fixed merge | blob | commitdiff | diff to current |
| 2010-09-20 | Jim Pryor | move *.js, *.ml -> code/ | blob | commitdiff | diff to current |
| 2010-09-20 | Chris Barker | minor | blob | commitdiff | diff to current |
| 2010-09-20 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff | diff to current |
| 2010-09-20 | Chris Barker | fiddles | blob | commitdiff | diff to current |
| 2010-09-20 | Jim Pryor | Merge branch 'pryor' | blob | commitdiff | diff to current |
| 2010-09-20 | Chris Barker | A way to test homework solutions for students | blob | commitdiff | diff to current |