Jim [Sat, 31 Jan 2015 02:46:26 +0000 (21:46 -0500)]
rename some variables
Jim [Sat, 31 Jan 2015 02:28:44 +0000 (21:28 -0500)]
formatting
Jim [Sat, 31 Jan 2015 02:15:10 +0000 (21:15 -0500)]
formatting assignment1
Jim [Sat, 31 Jan 2015 02:13:33 +0000 (21:13 -0500)]
fixed let->letrec, added extra credit
Jim [Sat, 31 Jan 2015 01:59:53 +0000 (20:59 -0500)]
begone evil tabs
Jim [Sat, 31 Jan 2015 01:57:45 +0000 (20:57 -0500)]
added assignment 1, take 1
Jim [Sat, 31 Jan 2015 01:08:15 +0000 (20:08 -0500)]
note about refreshing page, notes for us to add later
Jim [Sat, 31 Jan 2015 00:52:20 +0000 (19:52 -0500)]
tweaks
Jim [Sat, 31 Jan 2015 00:46:12 +0000 (19:46 -0500)]
refine intro page
Jim [Sat, 31 Jan 2015 00:43:09 +0000 (19:43 -0500)]
scare quotes around 'pure' for untyped lambda
Jim [Sat, 31 Jan 2015 00:20:25 +0000 (19:20 -0500)]
Refine intro page, add stub for Topics-and-themes page
Jim [Sat, 31 Jan 2015 00:05:38 +0000 (19:05 -0500)]
formatting
Jim [Sat, 31 Jan 2015 00:04:46 +0000 (19:04 -0500)]
Fix notes on Scheme OCaml Haskell
Jim [Fri, 30 Jan 2015 23:58:46 +0000 (18:58 -0500)]
Refine notes on Scheme OCaml Haskell
Jim [Fri, 30 Jan 2015 22:31:10 +0000 (17:31 -0500)]
add info about getting scheme
Jim [Fri, 30 Jan 2015 22:02:39 +0000 (17:02 -0500)]
rm test5
Jim [Fri, 30 Jan 2015 22:02:20 +0000 (17:02 -0500)]
add test5
Jim [Fri, 30 Jan 2015 21:44:39 +0000 (16:44 -0500)]
announce re emails and doodle
Jim [Fri, 30 Jan 2015 16:11:50 +0000 (11:11 -0500)]
remove test3 file
Jim [Fri, 30 Jan 2015 16:07:51 +0000 (11:07 -0500)]
adding test3 file
Jim [Fri, 30 Jan 2015 16:00:12 +0000 (11:00 -0500)]
update meeting time/place
Jim [Fri, 30 Jan 2015 15:58:06 +0000 (10:58 -0500)]
remove test file
Jim [Fri, 30 Jan 2015 15:48:57 +0000 (10:48 -0500)]
move test1->test2
Jim [Fri, 30 Jan 2015 15:38:53 +0000 (10:38 -0500)]
test1
Jim [Fri, 30 Jan 2015 15:27:40 +0000 (10:27 -0500)]
refresh info on books
Jim [Thu, 29 Jan 2015 20:46:12 +0000 (15:46 -0500)]
point to old course site
Linux User [Thu, 29 Jan 2015 20:22:14 +0000 (15:22 -0500)]
Quick refresh of frontpage
Linux User [Thu, 29 Jan 2015 20:17:01 +0000 (15:17 -0500)]
Move everything to old
Chris Barker [Tue, 14 Jun 2011 18:38:54 +0000 (14:38 -0400)]
changes
Chris Barker [Tue, 14 Jun 2011 18:29:48 +0000 (14:29 -0400)]
changes
Chris Barker [Fri, 10 Jun 2011 19:15:39 +0000 (15:15 -0400)]
changes
Chris Barker [Fri, 10 Jun 2011 19:07:39 +0000 (15:07 -0400)]
changes
Chris Barker [Fri, 10 Jun 2011 18:53:34 +0000 (14:53 -0400)]
changes
Chris Barker [Fri, 10 Jun 2011 18:52:19 +0000 (14:52 -0400)]
changes
Chung-chieh Shan [Fri, 10 Jun 2011 00:04:51 +0000 (02:04 +0200)]
Modifications
Chris Barker [Thu, 9 Jun 2011 21:27:46 +0000 (17:27 -0400)]
changes
Chris Barker [Thu, 9 Jun 2011 21:25:00 +0000 (17:25 -0400)]
changes
Chris Barker [Thu, 9 Jun 2011 21:24:19 +0000 (17:24 -0400)]
changes
Chris Barker [Thu, 9 Jun 2011 21:22:50 +0000 (17:22 -0400)]
changes
Chris Barker [Thu, 9 Jun 2011 21:13:59 +0000 (17:13 -0400)]
changes
Chris Barker [Wed, 8 Jun 2011 18:16:39 +0000 (14:16 -0400)]
added little file on cpsX
Chris Barker [Wed, 8 Jun 2011 18:16:31 +0000 (14:16 -0400)]
Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda
jim [Wed, 8 Jun 2011 02:18:19 +0000 (22:18 -0400)]
jim [Tue, 7 Jun 2011 18:32:16 +0000 (14:32 -0400)]
jim [Tue, 7 Jun 2011 18:31:23 +0000 (14:31 -0400)]
jim [Sun, 5 Jun 2011 03:36:51 +0000 (23:36 -0400)]
jim [Sun, 5 Jun 2011 03:35:46 +0000 (23:35 -0400)]
jim [Sun, 5 Jun 2011 03:35:16 +0000 (23:35 -0400)]
jim [Sun, 5 Jun 2011 02:36:06 +0000 (22:36 -0400)]
jim [Sun, 5 Jun 2011 02:35:12 +0000 (22:35 -0400)]
Jim Pryor [Sat, 4 Jun 2011 12:40:21 +0000 (08:40 -0400)]
Merge branch 'pryor'
Jim Pryor [Sat, 4 Jun 2011 12:40:18 +0000 (08:40 -0400)]
add gitweb.css
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 4 Jun 2011 11:48:21 +0000 (07:48 -0400)]
Merge branch 'pryor'
Jim Pryor [Sat, 4 Jun 2011 11:48:16 +0000 (07:48 -0400)]
recolor favicon
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Sat, 4 Jun 2011 11:25:09 +0000 (07:25 -0400)]
Merge branch 'pryor'
Jim Pryor [Sat, 4 Jun 2011 11:25:05 +0000 (07:25 -0400)]
add favicon
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Fri, 3 Jun 2011 12:25:43 +0000 (08:25 -0400)]
jim [Fri, 3 Jun 2011 12:24:29 +0000 (08:24 -0400)]
jim [Fri, 3 Jun 2011 12:23:13 +0000 (08:23 -0400)]
jim [Fri, 3 Jun 2011 12:22:48 +0000 (08:22 -0400)]
Jim Pryor [Thu, 2 Jun 2011 23:46:36 +0000 (19:46 -0400)]
Merge branch 'pryor'
Jim Pryor [Thu, 2 Jun 2011 23:46:28 +0000 (19:46 -0400)]
added same-fringe
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Thu, 2 Jun 2011 23:39:26 +0000 (19:39 -0400)]
jim [Thu, 2 Jun 2011 23:38:19 +0000 (19:38 -0400)]
jim [Thu, 2 Jun 2011 23:37:57 +0000 (19:37 -0400)]
jim [Thu, 2 Jun 2011 23:35:55 +0000 (19:35 -0400)]
jim [Thu, 2 Jun 2011 23:35:17 +0000 (19:35 -0400)]
jim [Thu, 2 Jun 2011 23:34:01 +0000 (19:34 -0400)]
Chris Barker [Thu, 2 Jun 2011 18:46:47 +0000 (14:46 -0400)]
Added the L&P version of Ken's article on quotation.
jim [Thu, 2 Jun 2011 18:33:39 +0000 (14:33 -0400)]
jim [Thu, 2 Jun 2011 16:22:38 +0000 (12:22 -0400)]
jim [Thu, 2 Jun 2011 16:22:15 +0000 (12:22 -0400)]
jim [Thu, 2 Jun 2011 16:21:46 +0000 (12:21 -0400)]
jim [Thu, 2 Jun 2011 16:21:07 +0000 (12:21 -0400)]
Jim Pryor [Wed, 1 Jun 2011 09:39:34 +0000 (05:39 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:39:28 +0000 (05:39 -0400)]
move templates outside document root
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 09:26:06 +0000 (05:26 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:26:03 +0000 (05:26 -0400)]
try unicode
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 09:25:05 +0000 (05:25 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:25:02 +0000 (05:25 -0400)]
try mathml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 09:22:54 +0000 (05:22 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:22:50 +0000 (05:22 -0400)]
try mathjax
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 09:20:29 +0000 (05:20 -0400)]
try jsmath
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 09:19:08 +0000 (05:19 -0400)]
try latexmathml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Wed, 1 Jun 2011 09:17:44 +0000 (05:17 -0400)]
Jim Pryor [Wed, 1 Jun 2011 09:20:33 +0000 (05:20 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:19:12 +0000 (05:19 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:15:18 +0000 (05:15 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 09:15:12 +0000 (05:15 -0400)]
try mathml
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 08:54:12 +0000 (04:54 -0400)]
try google math
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Wed, 1 Jun 2011 08:53:23 +0000 (04:53 -0400)]
jim [Wed, 1 Jun 2011 08:52:24 +0000 (04:52 -0400)]
Jim Pryor [Wed, 1 Jun 2011 08:54:14 +0000 (04:54 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 08:48:31 +0000 (04:48 -0400)]
make links to math javascripts absolute
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Jim Pryor [Wed, 1 Jun 2011 08:46:29 +0000 (04:46 -0400)]
add page.tmpl link
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
jim [Wed, 1 Jun 2011 08:45:50 +0000 (04:45 -0400)]
Jim Pryor [Wed, 1 Jun 2011 08:48:34 +0000 (04:48 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 08:46:33 +0000 (04:46 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 08:24:58 +0000 (04:24 -0400)]
Merge branch 'pryor'
Jim Pryor [Wed, 1 Jun 2011 08:24:48 +0000 (04:24 -0400)]
move mathml support files outside document root
Signed-off-by: Jim Pryor <profjim@jimpryor.net>