lambda.git
2010-10-04 Jim Pryorassignment4 tweaks
2010-10-04 Jim PryorMerge branch 'pryor'
2010-10-04 Jim Pryorcontinuing assignment4
2010-10-04 Jim Pryorassignment4 formatting
2010-10-04 Jim PryorMerge branch 'pryor'
2010-10-04 Jim Pryorcontinuing assignment4
2010-10-04 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-10-04 Chris Barkeredits
2010-10-04 Chris Barkeredits
2010-10-04 Chris Barkeredits
2010-10-04 Chris Barkeredits
2010-10-04 Jim Pryorcontinuing assignment4
2010-10-03 Jim Pryorassignment4 tweaks, hints
2010-10-03 Jim Pryoradd link from trees->sets
2010-10-03 Jim Pryorindex: move eval order
2010-10-03 Jim Pryorfixed assignment3 pred
2010-10-03 Jim Pryoradd more links to index
2010-10-03 Jim Pryorcontinuing assignment4
2010-10-03 Jim Pryoradd more links to index
2010-10-03 Jim Pryorassignment4 tweaks
2010-10-03 Jim Pryorgitignore
2010-10-03 Jim Pryorassignment4: reverse
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorindex: remove test
2010-10-03 Jim Pryorindex: fixed date ambig
2010-10-03 Jim Pryorassignment 3 clarification
2010-10-03 Jim Pryormore assignment3 name cleanup
2010-10-03 Jim Pryorlibrary: 1st,2nd->fst,snd
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryorweek3 evaluator fix
2010-10-03 Jim Pryornomenclature on week3 evaluator (sorry)
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim PryorMerge branch 'pryor'
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Chris Barkerremoved notes
2010-10-03 Chris Barkeredit
2010-10-03 Chris Barkeredit
2010-10-03 Chris Barkeredit
2010-10-03 Chris Barkeredit
2010-10-03 barker(no commit message)
2010-10-03 Chris Barkerassignment 3 evalutor preload
2010-10-03 Chris Barkerassignment 3 evalutor preload
2010-10-03 Chris BarkerMerge branch 'master' of ssh://server.philosophy.fas...
2010-10-03 Chris Barkerassignment 3 evalutor preload
2010-10-03 Jim Pryorindex: announcements
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim Pryorweek4 tweaking
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging more
2010-10-03 Jim Pryorweek4 debugging
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorweek4 tweaks
2010-10-03 Jim Pryorassignment3 tweak
2010-10-03 Jim Pryorassignment3 tweak
2010-10-03 Jim Pryorassignment3 tweak
2010-10-03 Jim Pryorassignment3 naming fussing
2010-10-03 Jim Pryorlexer tweak
2010-10-03 Jim Pryorlexer tweak
2010-10-03 Jim Pryorassignment3: formatting and terminological consistency...
2010-10-03 Jim Pryorweek4: formatting tweaks
2010-10-03 Jim Pryorfix links to v4 lists
2010-10-03 Jim Pryorproof of fixed points: W->L, be more specific about '='
2010-10-03 Jim Pryortweak reorg
2010-10-03 Jim Pryormore reorg
2010-10-03 Jim Pryorreorg
2010-10-03 Jim Pryorremove link to advanced from index
2010-10-03 Jim Pryornew_stuff
2010-10-03 Jim Pryormove type stuff to 'week5' page (without prejudice...
2010-10-03 Jim Pryormove hints to subdir
2010-10-03 Jim Pryoradd list_equal to library (commented out)
2010-10-03 Jim Pryorreformat advanced
2010-10-03 Jim Pryortweak advanced
2010-10-03 Jim Pryortweak advanced
2010-10-03 Jim Pryortweak advanced
2010-10-03 Jim Pryortweak advanced
next