[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 1 to 136 out of 136 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

# Date Size Editor Comment Action
69 2013-03-03 23:20:23 8327 to previous dreyer   view
68 2013-03-03 23:19:41 8329 to previous dreyer   view
67 2013-02-07 15:17:18 8322 to previous swasey   view
- 2013-02-07 15:16:10 55995 - swasey ATTNEW: 20130207.pdf view get
66 2013-02-05 17:18:25 8155 to previous swasey   view
- 2013-02-05 17:17:08 386411 - swasey ATTNEW: sumii-pierce-2007.pdf view get
- 2013-02-05 17:16:37 290049 - swasey ATTNEW: sumii-2009.pdf view get
65 2013-02-05 17:11:35 8040 to previous swasey   view
- 2013-02-05 17:10:42 305525 - swasey ATTNEW: hur-dreyer-2011.pdf view get
- 2013-02-05 17:09:22 39305 - swasey ATTNEW: 20130205.pdf view get
64 2013-02-05 17:09:01 7986 to previous swasey   view
63 2013-02-02 19:20:15 7899 to previous dreyer   view
62 2013-01-31 14:58:24 7832 to previous swasey   view
- 2013-01-31 14:55:33 43098 - swasey ATTNEW: 20130131.pdf view get
61 2013-01-29 16:29:53 7671 to previous swasey   view
- 2013-01-29 16:28:42 64081 - swasey ATTNEW: 20130129.pdf view get
60 2013-01-29 16:27:09 7505 to previous swasey   view
59 2013-01-29 16:26:50 7503 to previous swasey   view
- 2013-01-29 16:25:47 288127 - swasey ATTNEW: ahmed-dreyer-rossberg.pdf view get
58 2013-01-29 16:22:54 7426 to previous swasey   view
- 2013-01-29 16:19:42 68337 - swasey ATTNEW: 20130117.pdf view get
57 2013-01-29 16:15:49 7252 to previous swasey   view
- 2013-01-29 16:15:04 55192 - swasey ATTNEW: 20130110.pdf view get
56 2013-01-29 16:11:58 7148 to previous swasey   view
- 2013-01-29 16:09:36 249486 - swasey ATTNEW: pitts-stark.pdf view get
- 2013-01-29 16:09:20 69879 - swasey ATTNEW: 20130108.pdf view get
55 2013-01-29 15:59:32 6976 to previous swasey   view
- 2013-01-29 15:56:26 388396 - swasey ATTNEW: dreyer-ahmed-birkedal.pdf view get
- 2013-01-29 15:55:00 73164 - swasey ATTNEW: 20121220.pdf view get
54 2013-01-29 11:13:25 6727 to previous swasey   view
- 2013-01-29 11:12:29 57630 - swasey ATTNEW: 20121218.pdf view get
53 2013-01-29 10:43:19 6614 to previous swasey   view
- 2013-01-29 10:42:48 66162 - swasey ATTNEW: 20121213.pdf view get
52 2013-01-29 10:35:47 6581 to previous swasey   view
- 2013-01-29 10:34:24 70071 - swasey ATTNEW: 20121211.pdf view get
- 2013-01-29 10:34:14 51531 - swasey ATTNEW: 20121206.pdf view get
51 2012-12-19 08:59:22 6515 to previous swasey Typo view
50 2012-12-19 08:58:05 6516 to previous swasey Added HW2..HW5. view
- 2012-12-19 08:53:51 98908 - swasey ATTNEW: hw5.pdf view get
- 2012-12-19 08:53:51 98908 - swasey ATTDEL: hw5.pdf view get
49 2012-12-19 08:18:49 6330 to previous swasey 12/04 notes. view
- 2012-12-19 08:17:30 60175 - swasey ATTNEW: 20121204.pdf view get
- 2012-12-13 05:35:26 98908 - swasey ATTNEW: hw5.pdf view get
- 2012-12-13 05:35:16 83387 - swasey ATTNEW: hw4.pdf view get
- 2012-12-13 05:35:06 89344 - swasey ATTNEW: hw3.pdf view get
- 2012-12-13 05:34:55 81507 - swasey ATTNEW: hw2.pdf view get
48 2012-12-13 00:03:29 6297 to previous dreyer   view
47 2012-12-13 00:02:51 6340 to previous dreyer   view
46 2012-12-13 00:02:09 6342 to previous dreyer   view
- 2012-12-13 00:01:39 960504 - dreyer ATTNEW: dreyer-neis-birkedal.pdf view get
- 2012-12-13 00:00:56 783852 - dreyer ATTNEW: ahmed-2006.pdf view get
- 2012-12-13 00:00:16 295276 - dreyer ATTNEW: appel-mcallester.pdf view get
45 2012-12-12 23:58:38 6337 to previous dreyer   view
44 2012-12-12 23:56:29 6269 to previous dreyer   view
43 2012-12-12 23:56:09 6267 to previous dreyer   view
42 2012-12-12 23:55:52 6266 to previous dreyer   view
- 2012-12-06 21:07:08 65711 - swasey ATTNEW: 20121120.pdf view get
- 2012-12-06 21:07:07 65711 - swasey ATTDEL: 20121120.pdf view get
- 2012-12-06 20:59:58 72223 - swasey ATTNEW: 20121127.pdf view get
- 2012-12-06 20:59:58 72223 - swasey ATTDEL: 20121127.pdf view get
- 2012-12-06 20:59:48 85615 - swasey ATTNEW: 20121122.pdf view get
- 2012-12-06 20:59:47 85615 - swasey ATTDEL: 20121122.pdf view get
- 2012-12-06 20:59:35 65711 - swasey ATTNEW: 20121120.pdf view get
- 2012-12-06 20:59:35 65711 - swasey ATTDEL: 20121120.pdf view get
41 2012-12-02 13:33:06 5810 to previous swasey   view
40 2012-12-02 13:32:19 5774 to previous swasey Added a column "scribe" and my notes. view
- 2012-12-02 13:23:46 51716 - swasey ATTNEW: 20121129.pdf view get
- 2012-12-02 13:23:37 72223 - swasey ATTNEW: 20121127.pdf view get
- 2012-12-02 13:23:27 85615 - swasey ATTNEW: 20121122.pdf view get
- 2012-12-02 13:23:16 65711 - swasey ATTNEW: 20121120.pdf view get
- 2012-12-02 13:23:10 63992 - swasey ATTNEW: 20121115.pdf view get
- 2012-12-02 13:23:01 52058 - swasey ATTNEW: 20121113.pdf view get
- 2012-12-02 13:22:47 42660 - swasey ATTNEW: 20121108.pdf view get
- 2012-12-02 13:22:38 52858 - swasey ATTNEW: 20121106.pdf view get
- 2012-12-02 13:22:28 72539 - swasey ATTNEW: 20121030.pdf view get
- 2012-12-02 13:22:19 60853 - swasey ATTNEW: 20121023.pdf view get
- 2012-12-02 13:22:07 64706 - swasey ATTNEW: 20121018.pdf view get
- 2012-12-02 13:21:38 41667 - swasey ATTNEW: 20121016.pdf view get
39 2012-12-02 08:20:20 5248 to previous swasey Typo view
38 2012-12-02 08:19:41 5246 to previous swasey Added Johan's POPL04 paper, mentioned in class view
- 2012-12-02 08:17:49 209076 - swasey ATTNEW: johann-popl04.pdf view get
37 2012-11-28 14:04:21 5194 to previous dreyer   view
36 2012-11-15 11:33:43 4941 to previous dreyer   view
35 2012-11-15 11:32:34 4925 to previous dreyer   view
34 2012-11-15 11:32:04 4924 to previous dreyer   view
- 2012-11-15 11:30:29 763796 - dreyer ATTNEW: pitts-densem-notes.pdf view get
33 2012-11-13 17:44:04 4761 to previous dreyer   view
- 2012-11-13 17:43:01 2531249 - dreyer ATTNEW: mitchell-plotkin.pdf view get
32 2012-11-13 17:40:49 4693 to previous dreyer   view
- 2012-11-13 17:40:12 2331033 - dreyer ATTNEW: mitchell.pdf view get
- 2012-11-13 15:34:31 588803 - dreyer ATTNEW: pitts-attapl.pdf view get
31 2012-11-13 15:34:17 4642 to previous dreyer   view
30 2012-11-09 02:41:58 4531 to previous dreyer   view
- 2012-11-09 02:41:13 46140 - dreyer ATTNEW: swasey-notes1.pdf view get
- 2012-11-09 02:36:42 605322 - dreyer ATTNEW: birkedal-mogelberg.pdf view get
- 2012-11-09 02:36:42 0 - dreyer ATTDEL: birkedal-mogelberg
- 2012-11-09 02:36:35 189662 - dreyer ATTNEW: plotkin-abadi.pdf view get
- 2012-11-09 02:36:35 0 - dreyer ATTDEL: plotkin-abadi
29 2012-11-09 02:36:05 4468 to previous dreyer   view
28 2012-11-09 02:35:53 4468 to previous dreyer   view
27 2012-11-09 02:35:36 4467 to previous dreyer   view
- 2012-11-09 02:34:03 0 - dreyer ATTNEW: birkedal-mogelberg
- 2012-11-09 02:33:50 0 - dreyer ATTNEW: plotkin-abadi
26 2012-11-09 02:31:24 4340 to previous dreyer   view
25 2012-11-09 02:30:23 4340 to previous dreyer   view
24 2012-11-09 02:29:40 4334 to previous dreyer   view
23 2012-11-09 02:27:11 4176 to previous dreyer   view
22 2012-11-09 02:26:31 4156 to previous dreyer   view
- 2012-11-09 02:24:23 116447 - dreyer ATTNEW: hw1.pdf view get
21 2012-11-09 02:24:02 4250 to previous dreyer   view
20 2012-11-09 02:22:18 4136 to previous dreyer   view
19 2012-11-09 02:19:58 4129 to previous dreyer   view
18 2012-11-09 02:19:32 4130 to previous dreyer   view
17 2012-11-09 02:16:31 4129 to previous dreyer   view
16 2012-11-09 02:15:30 4128 to previous dreyer   view
15 2012-11-09 02:14:23 4072 to previous dreyer   view
14 2012-11-09 02:14:01 4071 to previous dreyer   view
- 2012-11-09 02:11:27 317837 - dreyer ATTNEW: johann.pdf view get
- 2012-11-09 02:10:52 904076 - dreyer ATTNEW: gill.pdf view get
- 2012-11-09 02:09:57 690453 - dreyer ATTNEW: reynolds.pdf view get
- 2012-11-09 02:09:20 220373 - dreyer ATTNEW: wadler.pdf view get
- 2012-11-09 02:07:51 2084511 - dreyer ATTNEW: gallier.pdf view get
- 2012-11-09 02:07:34 947152 - dreyer ATTNEW: girard.pdf view get
13 2012-11-09 02:05:18 3999 to previous dreyer   view
12 2012-11-09 02:03:42 3987 to previous dreyer   view
11 2012-11-08 19:45:46 3579 to previous dreyer   view
10 2012-11-08 19:09:25 3286 to previous dreyer   view
9 2012-11-08 19:09:07 3281 to previous dreyer   view
8 2012-10-14 12:29:43 3220 to previous dreyer   view
7 2012-10-14 12:25:58 3328 to previous dreyer Renamed from 'Parametricity and Modular Reasoning'. view
6 2012-10-14 12:25:38 3266 to previous dreyer Renamed from 'paramore'. view
5 2012-10-14 11:57:12 3231 to previous dreyer   view
4 2012-10-11 15:03:11 3131 to previous dreyer   view
3 2012-10-11 14:59:10 3068 to previous dreyer   view
2 2012-10-11 14:58:21 3086 to previous dreyer   view
1 2012-10-11 14:56:39 17 dreyer   view