All public logs

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).

15:54, 1 September 2023 Mike talk contribs uploaded a new version of File:Optree.png
15:40, 1 September 2023 Mike talk contribs uploaded a new version of File:Optree.png
17:50, 22 July 2023 Mike talk contribs created page Template:Menu/doc (Created page with "Write <code><nowiki>{{Menu|File>Save}}</nowiki></code> for {{Menu|File>Save}}.")
09:27, 22 July 2023 Mike talk contribs created page Template:Menu (Created page with "{{{1}}}<noinclude>{{Documentation}}</noinclude>")
22:03, 20 July 2023 Mike talk contribs created page Todo list (Created page with "* Include project files for Geany. * Document the setup script needed to install them, with other steps to set up Geany -- e.g., installing plugins. * Enable the project-organ...")
14:05, 13 July 2023 Mike talk contribs created page Project:Code of conduct (Redirected page to corner:Project:Code of conduct) Tag: New redirect
21:17, 10 July 2023 Mike talk contribs created page Template:LaTeX (Created page with "LaT<span style="vertical-align: -0.6ex; margin-left: -0.2em; ma...")
19:22, 9 July 2023 Mike talk contribs uploaded File:Card zombie.png
19:22, 9 July 2023 Mike talk contribs created page File:Card zombie.png
19:22, 9 July 2023 Mike talk contribs uploaded File:Card zero.png
19:22, 9 July 2023 Mike talk contribs created page File:Card zero.png
19:21, 9 July 2023 Mike talk contribs uploaded File:Card succ.png
19:21, 9 July 2023 Mike talk contribs created page File:Card succ.png
19:21, 9 July 2023 Mike talk contribs uploaded File:Card s.png
19:21, 9 July 2023 Mike talk contribs created page File:Card s.png
19:20, 9 July 2023 Mike talk contribs uploaded File:Card revive.png
19:20, 9 July 2023 Mike talk contribs created page File:Card revive.png
19:18, 9 July 2023 Mike talk contribs uploaded File:Card put.png
19:18, 9 July 2023 Mike talk contribs created page File:Card put.png
19:17, 9 July 2023 Mike talk contribs uploaded File:Card k.png
19:17, 9 July 2023 Mike talk contribs created page File:Card k.png
19:16, 9 July 2023 Mike talk contribs uploaded File:Card inc.png
19:16, 9 July 2023 Mike talk contribs created page File:Card inc.png
19:16, 9 July 2023 Mike talk contribs uploaded File:Card i.png
19:16, 9 July 2023 Mike talk contribs created page File:Card i.png
19:16, 9 July 2023 Mike talk contribs uploaded File:Card help.png
19:16, 9 July 2023 Mike talk contribs created page File:Card help.png
19:15, 9 July 2023 Mike talk contribs uploaded File:Card get.png
19:15, 9 July 2023 Mike talk contribs created page File:Card get.png
19:15, 9 July 2023 Mike talk contribs uploaded File:Card dec.png
19:15, 9 July 2023 Mike talk contribs created page File:Card dec.png
19:14, 9 July 2023 Mike talk contribs uploaded File:Card dbl.png
19:14, 9 July 2023 Mike talk contribs created page File:Card dbl.png
19:14, 9 July 2023 Mike talk contribs uploaded File:Card copy.png
19:14, 9 July 2023 Mike talk contribs created page File:Card copy.png
18:04, 9 July 2023 Mike talk contribs created page Lambda the Gathering (Created page with "* Image:card_attack.png * Image:card_copy.png * Image:card_dbl.png * Image:card_dec.png * Image:card_get.png * Image:card_help.png * Image:card_i.png...")
18:01, 9 July 2023 Mike talk contribs uploaded File:Card attack.png
18:01, 9 July 2023 Mike talk contribs created page File:Card attack.png
14:09, 8 June 2023 Mike talk contribs deleted page Template:Faq (content was: "===={{{1}}}====", and the only contributor was "Mike" (talk))
13:57, 8 June 2023 Mike talk contribs created page Template:Faq (Created page with "===={{{1}}}====")
13:54, 8 June 2023 Mike talk contribs created page Template:Rangle (Created page with "⟩")
13:53, 8 June 2023 Mike talk contribs created page Template:Langle (Created page with "⟨")
11:30, 19 May 2023 Mike talk contribs uploaded File:Oberon2.pdf
11:30, 19 May 2023 Mike talk contribs created page File:Oberon2.pdf
11:26, 19 May 2023 Mike talk contribs uploaded File:Oberon.pdf
11:26, 19 May 2023 Mike talk contribs created page File:Oberon.pdf
11:26, 19 May 2023 Mike talk contribs created page Reading list (Created page with "The {{Doc|compilers|book|coursebook}} contains most of what you need to know to follow the course, including notes on the lectures, instructions for the practical exercises, a...")
10:04, 11 May 2023 Mike talk contribs uploaded File:BWK-Pascal.pdf
10:04, 11 May 2023 Mike talk contribs created page File:BWK-Pascal.pdf
17:19, 5 May 2023 Mike talk contribs created page Using Geany (Created page with "For the lab exercises, I've suggested that you use the simple editor / IDE called Geany. You're (of course) free to use any other editor or programming environment you choose...")
11:33, 3 December 2022 Mike talk contribs created page Template:Dropcap (Created page with "{{{1}}}{{#if:{{{2|}}}|{{{2}}}}}")
17:12, 29 November 2022 Mike talk contribs protected Compilers [Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite) (hist)
14:17, 14 November 2022 Mike talk contribs deleted page Installing VirtualBox (content was: "{{Compilers}} ''This page has been superseded by general instructions, based in Debian with the Raspberry Pi desktop, for supporting all courses with labs prepared by Mike.''", and the only contributor was "Mike" (talk))
13:04, 14 November 2022 Mike talk contribs deleted page Main Page (content was: "MediaWiki has been installed. Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User's Guide] for information on using the wiki software. == Getting started == * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list] * [https://www.mediawiki.org/wiki/Special:MyLanguage...", and the only contributor was "[[Special:Contributions/wiki2>Mike|wiki2>Mike]]" ([[User talk:wiki2>Mike|talk]]))
15:36, 9 November 2022 User account Rish talk contribs was created
18:28, 1 November 2022 User account Paulus talk contribs was created
14:07, 31 October 2022 User account Hert6597 talk contribs was created
12:50, 25 October 2022 Mike talk contribs created page Talk:Frequently asked questions (Created page with "'''Why won't Keiko build on my Mac?''' Two reasons: one general, the other specific to Macs. The general reason is that the Keiko source code as provided in the Lab material...")
21:33, 6 October 2022 Mike talk contribs uploaded a new version of File:Roadmap2.png
13:50, 6 October 2022 Mike talk contribs created page Tutors:Documents (Created page with "Here are updated links to the documents provided for the course. ====Public documents==== * {{Doc|compilers|book|book.pdf}} * {{Doc|compilers|allprobs|allprobs.pdf}} * {{Doc|...")
20:31, 3 October 2022 Mike talk contribs moved page Under construction to Diverted traffic without leaving a redirect
14:01, 30 June 2022 Mike talk contribs deleted page MediaWiki:Searchsuggest-search (content was: "Search")
09:12, 10 November 2021 Mike talk contribs moved page Reversing excessive sharing to Mike:Reversing excessive sharing without leaving a redirect
12:03, 28 July 2021 Mike talk contribs uploaded File:Unshare-after.png
12:03, 28 July 2021 Mike talk contribs uploaded File:Unshare-before.png
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Badaccess-groups by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Common.css by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Copyrightwarning by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Copyrightwarning2 by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Createacct-another-realname-tip by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Createacct-emailrequired by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Createacct-realname by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Disclaimers by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Group-tutor by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Group-tutor-member by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Grouppage-tutor by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Invalidemailaddress by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Loginreqpagetext by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Mainpage by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Mainpage-nstab by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Prefs-help-realname by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Privacy by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Searchsuggest-search by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Sidebar by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Sitenotice by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Tooltip-pt-login by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Userlogin-yourname by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Userlogin-yourname-ph by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Winkel-view-history by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Winkel-view-view by file upload (1 revision)
08:21, 8 October 2020 Mike talk contribs imported MediaWiki:Winkel.css by file upload (1 revision)
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

All public logs

Navigation menu

Search