projects
/
lambda.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
lambda.git
2015-01-31
Jim
installation refinements
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
typo
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
links to Haskell wiki
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
move GHC link
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
add Racket link
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
start refining ocaml and haskell installation instructions
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
install scheme reorg
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
refine scheme installation instructions
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
racket like firefox
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
typo
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
refine identification stuff
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
still more renaming fun
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
more renaming
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
rename file
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
installation page (in progress)
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
link to microsoft identification page
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
machine identification
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting and refining front page
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
rename some variables
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting assignment1
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
fixed let->letrec, added extra credit
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
begone evil tabs
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
added assignment 1, take 1
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
note about refreshing page, notes for us to add later
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
tweaks
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
refine intro page
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
scare quotes around 'pure' for untyped lambda
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
Refine intro page, add stub for Topics-and-themes page
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
|
snapshot
2015-01-31
Jim
Fix notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
Refine notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
add info about getting scheme
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
rm test5
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
add test5
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
announce re emails and doodle
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
remove test3 file
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
adding test3 file
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
update meeting time/place
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
remove test file
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
move test1->test2
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
test1
commit
|
commitdiff
|
tree
|
snapshot
2015-01-30
Jim
refresh info on books
commit
|
commitdiff
|
tree
|
snapshot
2015-01-29
Jim
point to old course site
commit
|
commitdiff
|
tree
|
snapshot
2015-01-29
Linux User
Quick refresh of frontpage
commit
|
commitdiff
|
tree
|
snapshot
2015-01-29
Linux User
Move everything to old
commit
|
commitdiff
|
tree
|
snapshot
2011-06-14
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-14
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-10
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-10
Chung-chieh...
Modifications
commit
|
commitdiff
|
tree
|
snapshot
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-09
Chris Barker
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-06-08
Chris Barker
added little file on cpsX
commit
|
commitdiff
|
tree
|
snapshot
2011-06-08
Chris Barker
Merge branch 'master' of ssh://server.philosophy.fas...
commit
|
commitdiff
|
tree
|
snapshot
2011-06-08
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-07
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-07
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
add gitweb.css
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
recolor favicon
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-04
Jim Pryor
add favicon
commit
|
commitdiff
|
tree
|
snapshot
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
Jim Pryor
added same-fringe
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
Chris Barker
Added the L&P version of Ken's article on quotation.
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
move templates outside document root
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
try unicode
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
|
snapshot
2011-06-01
Jim Pryor
try mathml
commit
|
commitdiff
|
tree
|
snapshot
next