lambda.git
2010-08-24 Jim PryorMerge branch 'master' of ssh://server.philosophy.fas...
2010-08-24 Jim Pryoralpha edit
2010-08-24 Jim Pryoradded alpha for testing
2010-08-24 jimweb edit
2010-08-24 Jim Pryortweaked using OCaml lambda interpreter
2010-08-24 Jim Pryoradded notes on using OCaml lambda interpreter
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryorstub link to OCaml lambda calc
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryortweaks to using page
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryorwhitespace, formatting
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryormoved programming resources to new page, expanded
2010-08-24 Jim Pryoradd .swp files to .gitignore
2010-08-24 Jim PryorAdd 'using the programming languages'
2010-08-24 Jim PryorRec Readings->Books
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryortweaked offsite reasing
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryormore offsite links
2010-08-24 Jim Pryorremark about partial understanding
2010-08-24 Jim Pryorcomplete merge
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim PryorMerge remote branch 'origin/master'
2010-08-24 Jim Pryorschedule: reformat lists, use auto-numbering in some...
2010-08-24 Jim PryorRevert "Merge branch 'pryor'"
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryoroffsite_reading more formatting
2010-08-24 Jim Pryoroffsite_reading formatting
2010-08-24 Jim Pryorformatted offsite_reading
2010-08-24 Jim Pryoradded offsite_reading list
2010-08-24 Jim Pryorschedule tweaks
2010-08-24 Jim Pryorschedule: reformat lists, use auto-numbering in some...
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryoroffsite_reading more formatting
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryoroffsite_reading formatting
2010-08-24 Jim PryorMerge branch 'pryor'
2010-08-24 Jim Pryorformatted offsite_reading
2010-08-24 Jim Pryoradded offsite_reading list
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 Jim Pryorschedule tweaks
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-24 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 Jim Pryoradded todo page
2010-08-23 Jim Pryorcomment on differences btw Hankin / Hindley&Selden
2010-08-23 Jim Pryortypo
2010-08-23 Jim Pryoradded some application reminders
2010-08-23 Jim Pryoradded Expletives
2010-08-23 Jim Pryorschedule tweaks
2010-08-23 Jim Pryordraft schedule
2010-08-23 Jim PryorOCaml or Objective Caml
2010-08-23 Jim Pryorpromote schedule link to H2
2010-08-23 Jim Pryormoved schedule stub to separate page
2010-08-23 Jim Pryoradd note about Hindley and Seldin
2010-08-23 Jim PryorOCaml -> Caml
2010-08-23 Jim Pryorreformat didn't work, markdown too simple, wish we...
2010-08-23 Jim Pryorformatting of bulleted block
2010-08-23 Jim Pryormore book info, reformatting
2010-08-23 Jim Pryorescape underscores
2010-08-23 Jim Pryorcourse info
2010-08-23 Jim Pryorhow_to_get typos
2010-08-23 Jim Pryorformatting/tweaking the how_to_get page
2010-08-23 Jim Pryorremoved test discussion on index page
2010-08-23 Jim Pryorrearranged index
2010-08-23 Jim Pryormerged in overview
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 Chris BarkerAdded installation instructions
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 barker(no commit message)
2010-08-23 chris(no commit message)
2010-08-23 chris(no commit message)
2010-08-23 Chris BarkerTrivial initial test
2010-08-22 Jim PryorRevert ".mdwn -> .markdown"
2010-08-22 Jim Pryor.mdwn -> .markdown
2010-08-22 Jim Pryoradded actiontabs.css
2010-08-22 lambdaTesting lockedit (non-admin)
2010-08-22 jimTesting lockedit
2010-08-22 Jim PryorTesting git changes
2010-08-22 jimtesting "Sample content"
2010-08-22 Lambda Wikiinitial commit