Jim Pryor's git trees. - lambda.git/atom - code historyNYU Lambda Wiki v2http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.gitJim Pryor and Chris Barker/favicon.ico2015-05-01T11:08:30ZgitwebChris' improvement to tc with #2015-05-01T11:08:30ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-05-01T11:08:30Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=2163ed0b2f0a8388eb5db38343d9bcf824c40c68
typo in gsv2.ml2015-04-15T19:42:05ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-15T19:42:05Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=96db4b910dedb32abd97523c0476ba3255d80ee7
typo in gsv2.ml2015-04-15T15:47:10ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-15T15:47:10Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=daeb5d67207436ec5179e59098c11fe4b5525685
fixed move gsv-jim.ml to gsv2.ml2015-04-14T01:02:27ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-14T01:02:27Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=871a3e85fdf1c1994dd901f1c42ba2938f7e7101
move gsv-jim.ml to gsv2.ml2015-04-14T01:01:06ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-14T01:01:06Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=e4f83f762fc7658f9e0ca40e4beeccca42db0587
move gsv.ml to gsv-jim.ml2015-04-14T00:50:26ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-14T00:50:26Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=a0b9720de1163e1d640b4714dc8f5bbadf601c25
update Juli8 to v1.6 and post gsv.ml2015-04-14T00:48:39ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-14T00:48:39Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=9ef8c8a5c822f05b63ff23c92980a103efc85967
update juli8 to 1.42015-04-07T00:03:57ZJimjim.pryor@nyu.eduJimjim.pryor@nyu.edu2015-04-07T00:03:57Zhttp://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff;h=dd98ec7de6932ef9d278c191fe23d93bdaebbdb5