changeset | 36b1f893c1e0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | MIT 6.822 |
files |
changeset | c800306b0e32 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Two more users |
files |
changeset | d3e967564f57 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Two more classes seemingly going on now |
files |
changeset | 3c1b839e93c6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to Harvard CS260r |
files |
changeset | cbe6d5ad3e13 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Cornell course |
files |
changeset | de972cc4a16b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | More accurate header for course links |
files |
changeset | 75294e55678b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Used in class at U. Maryland |
files |
changeset | a1093f5d7370 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Used in class at U. Kansas |
files |
changeset | cb81f74d8c92 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add Amazon OneLink |
files |
changeset | 977b425331c3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to Harvard CS250, Fall 2014 |
files |
changeset | 1dd9d8664853 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Two more courses using CPDT |
files |
changeset | 6f4b78ccbf37 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add TU Vienna course link |
files |
changeset | dfe11a9ddfca |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add usask classes |
files |
changeset | 66c35ffcab4e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | ru.nl reading group |
files |
changeset | 1fa761197b63 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Update links to classes using the book |
files |
changeset | ff7951e3134a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to UMass course |
files |
changeset | 4fa683368958 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Cornell CS 7190 link |
files |
changeset | ee34e94183a8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to class at Washington |
files |
changeset | 6ea0694afa44 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add ISBN |
files |
changeset | 2bcc4e7976d7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix HTML error on index page |
files |
changeset | 2bd6b00f831f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Web site: book cover and links to buy |
files |
changeset | 136d4b84eb96 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Build an open-source release of library modules |
files |
changeset | a8377999fcf9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to Robby Findler's class |
files |
changeset | ffe99c02fa18 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Warning about HTML version |
files |
changeset | a95af5a59990 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Exercises online |
files |
changeset | e3b32a87347f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Web page update on proofreading |
files |
changeset | c4a22c9ff090 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to Pierce's Fall 2012 class |
files |
changeset | 31fa03bc0f18 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Get it to build with Coq 8.4 |
files |
changeset | 03e200599633 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Remove home page reference to Part IV |
files |
changeset | 4a432659a698 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Remove Part IV |
files |
changeset | a9edc6ecd904 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Publish this repo publicly |
files |
changeset | 8cb9e31f86e7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Front page tweaks |
files |
changeset | d092baf477ae |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New release |
files |
changeset | 20c742997dae |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New release |
files |
changeset | e2dbc0f1c1e8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New release |
files |
changeset | fd46d077b952 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Bug fixes |
files |
changeset | f3223bde5c87 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add RSS feed |
files |
changeset | 8480a2517f19 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mailing list announcement text expansion |
files |
changeset | 43227e4b0b5c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First beta release |
files |
changeset | aaf532c80729 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | New release |
files |
changeset | 0a644d7004d5 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | New release |
files |
changeset | 621010c9522f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | New release |
files |
changeset | 0400fa005d5a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | New release |
files |
changeset | bc0f515a929f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | New release |
files |
changeset | 9d0b9577f8b1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First 8.2 release |
files |
changeset | de9f78d68053 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Publish to Harvard, too |
files |
changeset | fd18331e5c0b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Publishing to the web |
files |