Software setup: Revision history

20 July 2023

• curprev 16:4216:42, 20 July 2023‎ Mike talk contribs‎ 8,269 bytes +64‎ →‎Install Linux on a PC

4 May 2023

• curprev 22:0522:05, 4 May 2023‎ Mike talk contribs‎ 8,205 bytes +399‎ →‎Install Linux on a PC
• curprev 20:0020:00, 4 May 2023‎ Mike talk contribs‎ 7,806 bytes +23‎ →‎Install Linux on a PC

2 December 2022

• curprev 14:5414:54, 2 December 2022‎ Mike talk contribs‎ 7,783 bytes −72‎ →‎Get a Raspberry Pi
• curprev 12:1712:17, 2 December 2022‎ Mike talk contribs‎ 7,855 bytes +707‎ →‎Use Windows

25 November 2022

• curprev 08:5508:55, 25 November 2022‎ Mike talk contribs‎ 7,148 bytes +394‎ →‎Use a Macintosh

12 November 2022

• curprev 09:2009:20, 12 November 2022‎ Mike talk contribs‎ 6,754 bytes −188‎ →‎Use a Macintosh
• curprev 09:1909:19, 12 November 2022‎ Mike talk contribs‎ 6,942 bytes −30‎ →‎Install Linux on a PC
• curprev 09:1409:14, 12 November 2022‎ Mike talk contribs‎ 6,972 bytes −280‎ No edit summary

25 October 2022

• curprev 15:3015:30, 25 October 2022‎ Mike talk contribs‎ 7,252 bytes +25‎ →‎Use a Macintosh
• curprev 14:5714:57, 25 October 2022‎ Mike talk contribs‎ 7,227 bytes −1‎ →‎Use a Macintosh
• curprev 14:5214:52, 25 October 2022‎ Mike talk contribs‎ 7,228 bytes −536‎ →‎Install Linux under VirtualBox

19 October 2022

• curprev 01:1901:19, 19 October 2022‎ Mike talk contribs‎ 7,764 bytes −47‎ →‎Use Windows
• curprev 01:1801:18, 19 October 2022‎ Mike talk contribs‎ 7,811 bytes +62‎ →‎Use Windows
• curprev 01:1701:17, 19 October 2022‎ Mike talk contribs‎ 7,749 bytes +164‎ →‎Use a Macintosh
• curprev 01:1501:15, 19 October 2022‎ Mike talk contribs‎ 7,585 bytes +72‎ →‎Get a Raspberry Pi
• curprev 01:1201:12, 19 October 2022‎ Mike talk contribs‎ 7,513 bytes +226‎ No edit summary

21 July 2022

• curprev 14:5514:55, 21 July 2022‎ Mike talk contribs‎ 7,287 bytes +63‎ →‎Use a Macintosh

6 July 2022

• curprev 11:0311:03, 6 July 2022‎ Mike talk contribs‎ 7,224 bytes +7‎ →‎Install Linux on a PC

20 October 2021

• curprev 08:3408:34, 20 October 2021‎ Mike talk contribs‎ 7,217 bytes +218‎ No edit summary

17 March 2020

• curprev 22:5922:59, 17 March 2020‎ Mike talk contribs‎ 6,999 bytes +22‎ →‎Get a Raspberry Pi
• curprev 22:2522:25, 17 March 2020‎ Mike talk contribs‎ 6,977 bytes +11‎ No edit summary
• curprev 22:1322:13, 17 March 2020‎ Mike talk contribs‎ 6,966 bytes −24‎ No edit summary
• curprev 22:0822:08, 17 March 2020‎ Mike talk contribs‎ 6,990 bytes +6,990‎ Created page with "{{Compilers}} For the practical assessment, you will need to check out sources using Mercurial or Git, to compile and run OCaml programs, and to assemble and run ARM code outp..."