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

Revision History

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

# Date Size Editor Comment Action
55 2003-09-29 13:46:29 11063 to previous mizar   view
54 2003-09-29 13:44:19 11009 to previous SteveMcIntyre   view
53 2003-09-29 13:37:01 11014 to previous 213 Add nick for cupis view
52 2003-09-29 13:21:23 11008 to previous jasmine Nick and other updates view
51 2003-09-29 13:03:33 10835 to previous 81-86-163-141 Adding nickname view
50 2003-09-29 09:27:51 10830 to previous 82-43-73-24   view
49 2003-09-29 09:17:15 10826 to previous SteveMcIntyre   view
48 2003-09-29 03:33:28 10757 to previous descent   view
47 2003-09-28 17:57:55 10751 to previous descent   view
46 2003-09-26 11:53:52 10862 to previous strawberry   view
45 2003-09-26 09:01:41 10981 to previous mizar   view
44 2003-09-25 20:50:09 10916 to previous 81-86-163-141 fix the affs link view
43 2003-09-25 20:45:33 10913 to previous 81-86-163-141   view
42 2003-09-25 20:44:40 10885 to previous 81-86-163-141 MJR is a Debianite, damn you! view
41 2003-09-25 20:40:26 10740 to previous barney   view
40 2003-09-22 22:19:29 10630 to previous 82-43-73-24 Paul Hedderly available view
39 2003-09-19 20:33:54 10581 to previous JonathanRiddell   view
38 2003-09-19 20:32:46 10581 to previous JonathanRiddell   view
37 2003-09-16 18:57:44 10553 to previous cache2-wtfd   view
36 2003-09-16 18:56:53 10553 to previous cache2-wtfd   view
35 2003-09-15 18:09:34 10498 to previous 195   view
34 2003-09-15 17:56:30 10473 to previous 195   view
33 2003-09-15 14:34:33 10327 to previous PaulSladen couple of fixes view
32 2003-09-15 14:06:36 10316 to previous strawberry   view
31 2003-09-14 22:23:23 10146 to previous PaulSladen Added an anchor for the pretty diagrams view