Note: I've just migrated to a different physical server to run Spivey's Corner,
with a new architecture, a new operating system, a new version of PHP, and an updated version of MediaWiki.
Please let me know if anything needs adjustment! – Mike
All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Compilers. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Aboutpage by file upload (1 revision)
- 21:58, 11 April 2020 Mike talk contribs protected The nodexp tool [Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) (hist)
- 21:58, 11 April 2020 Mike talk contribs protected Template:Opframe [Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) (hist)
- 21:47, 11 April 2020 Mike talk contribs uploaded File:Sumk5.gif
- 21:46, 11 April 2020 Mike talk contribs uploaded File:Sumk4.gif
- 21:39, 11 April 2020 Mike talk contribs uploaded File:Roadmap2.png
- 09:51, 18 March 2020 Mike talk contribs uploaded File:VBox shot 4.png
- 09:50, 18 March 2020 Mike talk contribs uploaded File:VBox shot 3.png
- 09:48, 18 March 2020 Mike talk contribs uploaded File:VBox shot 2.png
- 09:47, 18 March 2020 Mike talk contribs uploaded File:VBox shot 1.png
- 09:44, 18 March 2020 Mike talk contribs uploaded File:PiFarm.jpg
- 09:42, 18 March 2020 Mike talk contribs uploaded File:Roadmap1.png
- 09:40, 18 March 2020 Mike talk contribs uploaded File:Compilers1.pdf
- 08:36, 18 March 2020 Mike talk contribs moved page Tutors:Problem sheets (Compilers) to Tutors:Problem sheets without leaving a redirect
- 23:31, 17 March 2020 Mike talk contribs added prefix "doc" (https://spivey.oriel.ox.ac.uk/cxwiki/files/$1) (trans: 0; local: 0) to the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "gentoo-wiki" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "freebsdman" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "foxwiki" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "foldoc" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "emacswiki" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "elibre" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "dwjwiki" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "drumcorpswiki" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "dictionary" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "c2find" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "arxiv" from the interwiki table
- 23:04, 17 March 2020 Mike talk contribs removed prefix "advogato" from the interwiki table
- 23:03, 17 March 2020 Mike talk contribs removed prefix "acronym" from the interwiki table
- 22:59, 17 March 2020 Mike talk contribs added prefix "corner" (http://spivey.oriel.ox.ac.uk/corner/$1) (trans: 1; local: 1) to the interwiki table
- 22:19, 17 March 2020 Mike talk contribs moved page Glossary (Compilers) to Glossary without leaving a redirect
- 22:12, 17 March 2020 Mike talk contribs moved page Course outline (Compilers) to Course outline without leaving a redirect
- 20:03, 13 March 2020 Mike talk contribs uploaded File:Optree.png