http://adam.chlipala.net/cpdt/repo/atom-log/tip/staging/index.html Certified Programming with Dependent Types: staging/index.html history 2017-11-10T19:02:44-05:00 Two more users http://adam.chlipala.net/cpdt/repo/#changeset-c800306b0e32704710eef765f84a45aeee5a7bf1 Adam Chlipala adam@chlipala.net 2017-11-10T19:02:44-05:00 2017-11-10T19:02:44-05:00
changeset c800306b0e32
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Two more users
files
Two more classes seemingly going on now http://adam.chlipala.net/cpdt/repo/#changeset-d3e967564f57b75f056eb76811cba73da0d53eba Adam Chlipala adam@chlipala.net 2017-11-10T18:49:56-05:00 2017-11-10T18:49:56-05:00
changeset d3e967564f57
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Two more classes seemingly going on now
files
Link to Harvard CS260r http://adam.chlipala.net/cpdt/repo/#changeset-3c1b839e93c638cb80e1af166776c12b209583fa Adam Chlipala adam@chlipala.net 2017-10-17T21:14:14-04:00 2017-10-17T21:14:14-04:00
changeset 3c1b839e93c6
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to Harvard CS260r
files
Cornell course http://adam.chlipala.net/cpdt/repo/#changeset-cbe6d5ad3e13a5de4bdf894ab6704755700e7679 Adam Chlipala adam@chlipala.net 2017-09-18T10:16:51-04:00 2017-09-18T10:16:51-04:00
changeset cbe6d5ad3e13
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Cornell course
files
More accurate header for course links http://adam.chlipala.net/cpdt/repo/#changeset-de972cc4a16b75f0e563b6186567614615a9d1d3 Adam Chlipala adam@chlipala.net 2017-09-09T18:37:30-04:00 2017-09-09T18:37:30-04:00
changeset de972cc4a16b
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description More accurate header for course links
files
Used in class at U. Maryland http://adam.chlipala.net/cpdt/repo/#changeset-75294e55678b57e62f10ade7bc57ac609648b7a4 Adam Chlipala adam@chlipala.net 2017-09-09T18:36:00-04:00 2017-09-09T18:36:00-04:00
changeset 75294e55678b
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Used in class at U. Maryland
files
Used in class at U. Kansas http://adam.chlipala.net/cpdt/repo/#changeset-a1093f5d7370dba76b2aa4eda33057ab52b742c7 Adam Chlipala adam@chlipala.net 2017-09-09T11:42:10-04:00 2017-09-09T11:42:10-04:00
changeset a1093f5d7370
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Used in class at U. Kansas
files
Add Amazon OneLink http://adam.chlipala.net/cpdt/repo/#changeset-cb81f74d8c92d084cda60cb11f4a1c1980cddac3 Adam Chlipala adam@chlipala.net 2017-08-19T12:14:26-04:00 2017-08-19T12:14:26-04:00
changeset cb81f74d8c92
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Add Amazon OneLink
files
Link to Harvard CS250, Fall 2014 http://adam.chlipala.net/cpdt/repo/#changeset-977b425331c3e5d35e1997d7e43ad9df03de29fa Adam Chlipala adam@chlipala.net 2014-09-04T07:22:03-04:00 2014-09-04T07:22:03-04:00
changeset 977b425331c3
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to Harvard CS250, Fall 2014
files
Two more courses using CPDT http://adam.chlipala.net/cpdt/repo/#changeset-1dd9d8664853dd213b19be8bec3b3cfb800a72e5 Adam Chlipala adam@chlipala.net 2014-04-03T07:20:03-04:00 2014-04-03T07:20:03-04:00
changeset 1dd9d8664853
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Two more courses using CPDT
files
Add TU Vienna course link http://adam.chlipala.net/cpdt/repo/#changeset-6f4b78ccbf372da4d78429f582637694fa041f6b Adam Chlipala adam@chlipala.net 2014-03-26T09:52:20-04:00 2014-03-26T09:52:20-04:00
changeset 6f4b78ccbf37
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Add TU Vienna course link
files
Add usask classes http://adam.chlipala.net/cpdt/repo/#changeset-dfe11a9ddfca7f3b768c0cff9117112940d99cc0 Adam Chlipala adam@chlipala.net 2014-03-24T17:37:41-04:00 2014-03-24T17:37:41-04:00
changeset dfe11a9ddfca
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Add usask classes
files
ru.nl reading group http://adam.chlipala.net/cpdt/repo/#changeset-66c35ffcab4edf226ae6e546b3fe2dfa399986eb Adam Chlipala adam@chlipala.net 2014-03-23T16:47:49-04:00 2014-03-23T16:47:49-04:00
changeset 66c35ffcab4e
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description ru.nl reading group
files
Update links to classes using the book http://adam.chlipala.net/cpdt/repo/#changeset-1fa761197b63c2818e6213129466e52485e985a0 Adam Chlipala adam@chlipala.net 2014-03-23T16:20:08-04:00 2014-03-23T16:20:08-04:00
changeset 1fa761197b63
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Update links to classes using the book
files
Link to UMass course http://adam.chlipala.net/cpdt/repo/#changeset-ff7951e3134abca85ad5c70ac98910a14ab17060 Adam Chlipala adam@chlipala.net 2014-02-06T15:54:01-05:00 2014-02-06T15:54:01-05:00
changeset ff7951e3134a
branch
bookmark
tag
user Adam Chlipala <adam@chlipala.net>
description Link to UMass course
files
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