projects
/
lambda.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
move GHC link
2015-01-31
Jim
move GHC link
commit
|
commitdiff
|
tree
2015-01-31
Jim
add Racket link
commit
|
commitdiff
|
tree
2015-01-31
Jim
start refining ocaml and haskell installation instructions
commit
|
commitdiff
|
tree
2015-01-31
Jim
install scheme reorg
commit
|
commitdiff
|
tree
2015-01-31
Jim
refine scheme installation instructions
commit
|
commitdiff
|
tree
2015-01-31
Jim
racket like firefox
commit
|
commitdiff
|
tree
2015-01-31
Jim
typo
commit
|
commitdiff
|
tree
2015-01-31
Jim
refine identification stuff
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
2015-01-31
Jim
still more renaming fun
commit
|
commitdiff
|
tree
2015-01-31
Jim
more renaming
commit
|
commitdiff
|
tree
2015-01-31
Jim
rename file
commit
|
commitdiff
|
tree
2015-01-31
Jim
installation page (in progress)
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
2015-01-31
Jim
link to microsoft identification page
commit
|
commitdiff
|
tree
2015-01-31
Jim
machine identification
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting and refining front page
commit
|
commitdiff
|
tree
2015-01-31
Jim
rename some variables
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting assignment1
commit
|
commitdiff
|
tree
2015-01-31
Jim
fixed let->letrec, added extra credit
commit
|
commitdiff
|
tree
2015-01-31
Jim
begone evil tabs
commit
|
commitdiff
|
tree
2015-01-31
Jim
added assignment 1, take 1
commit
|
commitdiff
|
tree
2015-01-31
Jim
note about refreshing page, notes for us to add later
commit
|
commitdiff
|
tree
2015-01-31
Jim
tweaks
commit
|
commitdiff
|
tree
2015-01-31
Jim
refine intro page
commit
|
commitdiff
|
tree
2015-01-31
Jim
scare quotes around 'pure' for untyped lambda
commit
|
commitdiff
|
tree
2015-01-31
Jim
Refine intro page, add stub for Topics-and-themes page
commit
|
commitdiff
|
tree
2015-01-31
Jim
formatting
commit
|
commitdiff
|
tree
2015-01-31
Jim
Fix notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
2015-01-30
Jim
Refine notes on Scheme OCaml Haskell
commit
|
commitdiff
|
tree
2015-01-30
Jim
add info about getting scheme
commit
|
commitdiff
|
tree
2015-01-30
Jim
rm test5
commit
|
commitdiff
|
tree
2015-01-30
Jim
add test5
commit
|
commitdiff
|
tree
2015-01-30
Jim
announce re emails and doodle
commit
|
commitdiff
|
tree
2015-01-30
Jim
remove test3 file
commit
|
commitdiff
|
tree
2015-01-30
Jim
adding test3 file
commit
|
commitdiff
|
tree
2015-01-30
Jim
update meeting time/place
commit
|
commitdiff
|
tree
2015-01-30
Jim
remove test file
commit
|
commitdiff
|
tree
2015-01-30
Jim
move test1->test2
commit
|
commitdiff
|
tree
2015-01-30
Jim
test1
commit
|
commitdiff
|
tree
2015-01-30
Jim
refresh info on books
commit
|
commitdiff
|
tree
2015-01-29
Jim
point to old course site
commit
|
commitdiff
|
tree
2015-01-29
Linux User
Quick refresh of frontpage
commit
|
commitdiff
|
tree
2015-01-29
Linux User
Move everything to old
commit
|
commitdiff
|
tree
2011-06-08
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-07
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-07
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-05
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
add gitweb.css
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
recolor favicon
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-04
Jim Pryor
add favicon
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-03
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-02
Jim Pryor
added same-fringe
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-02
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
move templates outside document root
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try unicode
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathjax
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try jsmath
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try latexmathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try mathml
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
try google math
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-01
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
make links to math javascripts absolute
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
add page.tmpl link
Signed-off-by:
Jim
Pryor <profjim@jimpryor.net>
commit
|
commitdiff
|
tree
2011-06-01
jim
(no commit message)
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
2011-06-01
Jim Pryor
Merge branch 'pryor'
commit
|
commitdiff
|
tree
next