http://adam.chlipala.net/cpdt/repo/atom-log/tip/staging/index.html Certified Programming with Dependent Types: staging/index.html history 2014-01-25T11:46:00-05:00 Cornell CS 7190 link http://adam.chlipala.net/cpdt/repo/#changeset-4fa68336895856f3b45ebc6ffebf21f6e43fcf2d Adam Chlipala adam@chlipala.net 2014-01-25T11:46:00-05:00 2014-01-25T11:46:00-05:00
changeset 4fa683368958
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Cornell CS 7190 link
files
Link to class at Washington http://adam.chlipala.net/cpdt/repo/#changeset-ee34e94183a85e677f2693e9fcc0340264393269 Adam Chlipala adam@chlipala.net 2014-01-22T14:17:56-05:00 2014-01-22T14:17:56-05:00
changeset ee34e94183a8
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to class at Washington
files
Add ISBN http://adam.chlipala.net/cpdt/repo/#changeset-6ea0694afa44cb54a8a8de1326c368e5bde0b5b2 Adam Chlipala adam@chlipala.net 2013-12-14T14:58:32-05:00 2013-12-14T14:58:32-05:00
changeset 6ea0694afa44
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Add ISBN
files
Fix HTML error on index page http://adam.chlipala.net/cpdt/repo/#changeset-2bcc4e7976d7c21b713f28d0e8d66a5d867cb74c Adam Chlipala adam@chlipala.net 2013-12-13T10:45:46-05:00 2013-12-13T10:45:46-05:00
changeset 2bcc4e7976d7
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Fix HTML error on index page
files
Web site: book cover and links to buy http://adam.chlipala.net/cpdt/repo/#changeset-2bd6b00f831f18971bb8442d06d28ba8fee90754 Adam Chlipala adam@chlipala.net 2013-12-13T10:32:51-05:00 2013-12-13T10:32:51-05:00
changeset 2bd6b00f831f
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Web site: book cover and links to buy
files
Build an open-source release of library modules http://adam.chlipala.net/cpdt/repo/#changeset-136d4b84eb96c726a15320d134244400fbba0d99 Adam Chlipala adam@chlipala.net 2013-12-05T15:51:33-05:00 2013-12-05T15:51:33-05:00
changeset 136d4b84eb96
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Build an open-source release of library modules
files
Link to Robby Findler's class http://adam.chlipala.net/cpdt/repo/#changeset-a8377999fcf9baccab062a585afce668f5e9a83b Adam Chlipala adam@chlipala.net 2013-10-16T10:41:23-04:00 2013-10-16T10:41:23-04:00
changeset a8377999fcf9
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to Robby Findler's class
files
Warning about HTML version http://adam.chlipala.net/cpdt/repo/#changeset-ffe99c02fa18b73f091e784109e680503db51030 Adam Chlipala adam@chlipala.net 2013-10-15T08:36:24-04:00 2013-10-15T08:36:24-04:00
changeset ffe99c02fa18
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Warning about HTML version
files
Exercises online http://adam.chlipala.net/cpdt/repo/#changeset-a95af5a5999089d29a106b7bc7eb18cebfe07172 Adam Chlipala adam@chlipala.net 2013-01-08T15:48:32-05:00 2013-01-08T15:48:32-05:00
changeset a95af5a59990
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Exercises online
files
Web page update on proofreading http://adam.chlipala.net/cpdt/repo/#changeset-e3b32a87347fadd1dc6fd84bf40c3579c9ea6fe0 Adam Chlipala adam@chlipala.net 2012-11-30T12:10:46-05:00 2012-11-30T12:10:46-05:00
changeset e3b32a87347f
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Web page update on proofreading
files
Link to Pierce's Fall 2012 class http://adam.chlipala.net/cpdt/repo/#changeset-c4a22c9ff0903f1564f6518e2dfd5e9c238f3242 Adam Chlipala adam@chlipala.net 2012-11-30T12:07:46-05:00 2012-11-30T12:07:46-05:00
changeset c4a22c9ff090
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to Pierce's Fall 2012 class
files
Get it to build with Coq 8.4 http://adam.chlipala.net/cpdt/repo/#changeset-31fa03bc0f1801dafaf3970197514ddfd1410506 Adam Chlipala adam@chlipala.net 2012-03-29T18:10:52-04:00 2012-03-29T18:10:52-04:00
changeset 31fa03bc0f18
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Get it to build with Coq 8.4
files
Remove home page reference to Part IV http://adam.chlipala.net/cpdt/repo/#changeset-03e20059963350e8f96e04782b6761f3393a5785 Adam Chlipala adam@chlipala.net 2011-11-06T16:54:40-05:00 2011-11-06T16:54:40-05:00
changeset 03e200599633
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Remove home page reference to Part IV
files
Remove Part IV http://adam.chlipala.net/cpdt/repo/#changeset-4a432659a698332714f8b9144dc421b4bd9211e1 Adam Chlipala adam@chlipala.net 2011-10-03T11:15:51-04:00 2011-10-03T11:15:51-04:00
changeset 4a432659a698
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Remove Part IV
files
Publish this repo publicly http://adam.chlipala.net/cpdt/repo/#changeset-a9edc6ecd9042752bf1f3d640a8ea63b361f8a4b Adam Chlipala adam@chlipala.net 2011-09-14T14:04:08-04:00 2011-09-14T14:04:08-04:00
changeset a9edc6ecd904
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Publish this repo publicly
files
Front page tweaks http://adam.chlipala.net/cpdt/repo/#changeset-8cb9e31f86e712707912da11dd587f1e02c5d427 Adam Chlipala adam@chlipala.net 2011-08-25T15:22:20-04:00 2011-08-25T15:22:20-04:00
changeset 8cb9e31f86e7
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Front page tweaks
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-d092baf477aeb0d6672e0b4f1ee2ccf572cf0847 Adam Chlipala adam@chlipala.net 2011-08-25T14:55:38-04:00 2011-08-25T14:55:38-04:00
changeset d092baf477ae
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-20c742997dae9cc4c5ae539928abcf13dfb1f93d Adam Chlipala adam@chlipala.net 2011-01-14T15:40:06-05:00 2011-01-14T15:40:06-05:00
changeset 20c742997dae
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-e2dbc0f1c1e8d1822659d3a4915bed13bf3fd62d Adam Chlipala adam@chlipala.net 2010-11-10T16:34:46-05:00 2010-11-10T16:34:46-05:00
changeset e2dbc0f1c1e8
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description New release
files
Bug fixes http://adam.chlipala.net/cpdt/repo/#changeset-fd46d077b95225c4c7609523e6a3b573b1f9d647 Adam Chlipala adamc@hcoop.net 2010-02-03T08:17:02-05:00 2010-02-03T08:17:02-05:00
changeset fd46d077b952
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description Bug fixes
files
Add RSS feed http://adam.chlipala.net/cpdt/repo/#changeset-f3223bde5c87f7ca0b402d90e6e8d0e2b1d726e7 Adam Chlipala adamc@hcoop.net 2010-01-27T07:40:03-05:00 2010-01-27T07:40:03-05:00
changeset f3223bde5c87
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description Add RSS feed
files
Mailing list announcement text expansion http://adam.chlipala.net/cpdt/repo/#changeset-8480a2517f19ea5398bf60f9955de2edfe601da9 Adam Chlipala adamc@hcoop.net 2010-01-06T10:25:31-05:00 2010-01-06T10:25:31-05:00
changeset 8480a2517f19
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description Mailing list announcement text expansion
files
First beta release http://adam.chlipala.net/cpdt/repo/#changeset-43227e4b0b5cf8b261a017479deefd85648a4f6a Adam Chlipala adamc@hcoop.net 2009-12-30T13:47:59-05:00 2009-12-30T13:47:59-05:00
changeset 43227e4b0b5c
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description First beta release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-aaf532c807298a46aeed375b5c959e46981b7d6f Adam Chlipala adamc@hcoop.net 2009-12-28T14:33:39-05:00 2009-12-28T14:33:39-05:00
changeset aaf532c80729
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-0a644d7004d53632a69e4e2ef797ad970666483b Adam Chlipala adamc@hcoop.net 2009-12-16T17:31:57-05:00 2009-12-16T17:31:57-05:00
changeset 0a644d7004d5
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-621010c9522f9300d9f070d512e5f340661c1113 Adam Chlipala adamc@hcoop.net 2009-12-11T16:19:39-05:00 2009-12-11T16:19:39-05:00
changeset 621010c9522f
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-0400fa005d5a4dad549aea8d30490975cc15de43 Adam Chlipala adamc@hcoop.net 2009-12-09T14:12:33-05:00 2009-12-09T14:12:33-05:00
changeset 0400fa005d5a
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description New release
files
New release http://adam.chlipala.net/cpdt/repo/#changeset-bc0f515a929f268065e84212eb0922822785388e Adam Chlipala adamc@hcoop.net 2009-11-23T12:41:14-05:00 2009-11-23T12:41:14-05:00
changeset bc0f515a929f
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description New release
files
First 8.2 release http://adam.chlipala.net/cpdt/repo/#changeset-9d0b9577f8b159ebbc4e0aa065262e3e24e0b930 Adam Chlipala adamc@hcoop.net 2009-11-16T13:27:34-05:00 2009-11-16T13:27:34-05:00
changeset 9d0b9577f8b1
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description First 8.2 release
files
Publish to Harvard, too http://adam.chlipala.net/cpdt/repo/#changeset-de9f78d68053a9e7074afc160623960c3cc3e778 Adam Chlipala adamc@hcoop.net 2008-10-01T19:53:11-04:00 2008-10-01T19:53:11-04:00
changeset de9f78d68053
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description Publish to Harvard, too
files
Publishing to the web http://adam.chlipala.net/cpdt/repo/#changeset-fd18331e5c0b30bf597da75fc955ed570ddaf542 Adam Chlipala adamc@hcoop.net 2008-09-12T17:18:11-04:00 2008-09-12T17:18:11-04:00
changeset fd18331e5c0b
branch
bookmark
tag
user Adam Chlipala <adamc@hcoop.net>
description Publishing to the web
files