2010-12-06 | Chris Barker | Merge branch 'master' of ssh://server.philosophy.fas... | blob | commitdiff |
2010-12-05 | Jim Pryor | tree_monadize tweaks | blob | commitdiff |
2010-12-05 | Jim Pryor | tree_monadize tweaks | blob | commitdiff | diff to current |
2010-12-05 | Jim Pryor | expand tree_monadize explanation | blob | commitdiff | diff to current |
2010-12-02 | Jim Pryor | changed my unit_M to Chris' convention of M_unit, for... | blob | commitdiff | diff to current |
2010-12-02 | Jim Pryor | tweak whole site: caps for Reader monad, etc | blob | commitdiff | diff to current |
2010-12-02 | Jim Pryor | code/tree_monadize.ml | blob | commitdiff | diff to current |
2010-12-01 | Jim Pryor | fix manip trees | blob | commitdiff | diff to current |