User contributions for Imz
3 November 2018
- 03:0503:05, 3 November 2018 diff hist +15 m Herodotus →More methods for herodotos to get sources: done/not done marks
- 03:0403:04, 3 November 2018 diff hist +35 m Herodotus →Ad hoc sources herodotos: done/not done marks
- 03:0203:02, 3 November 2018 diff hist +1,623 Herodotus →Usage: Extensions to be implemented
30 October 2018
- 01:2901:29, 30 October 2018 diff hist +311 m Herodotus →How to try herodotos: describe an interesting follow-up scenario
- 01:2401:24, 30 October 2018 diff hist +141 m Herodotus →How to try herodotos: link to the commit that changed the option
- 01:1501:15, 30 October 2018 diff hist +19 m Herodotus →How to try herodotos: fix the display of a pipe in a command
- 01:1201:12, 30 October 2018 diff hist +127 m Herodotus →How to try herodotos: TODO: .projects_study.hc is not relocatable
29 October 2018
- 23:3023:30, 29 October 2018 diff hist +22 m Herodotus →How to try herodotos: more consistent formatting
- 23:2423:24, 29 October 2018 diff hist +2,704 Herodotus →How to try herodotos: not the outdated aosd10 example
- 23:1723:17, 29 October 2018 diff hist +48 N Template:Prg/Documentation copied from ru:template:prg/Документация current
- 23:1623:16, 29 October 2018 diff hist +187 N Template:Prg copied from ru:template:prg current
17 October 2018
- 19:2819:28, 17 October 2018 diff hist +2 m Herodotus →How to try herodotos: formatting
- 19:2719:27, 17 October 2018 diff hist +137 m Herodotus →How to try herodotos: a comment about Makefile.local
- 18:4518:45, 17 October 2018 diff hist +67 m Herodotus →How to try herodotos: How to run it then
- 14:3214:32, 17 October 2018 diff hist +1,066 m Herodotus →The core: herodotos tool: commands to prepare the input sources
15 October 2018
- 13:3313:33, 15 October 2018 diff hist +40 m Herodotus →herodotos in Sisyphus: link to the test-only task
12 October 2018
- 12:0512:05, 12 October 2018 diff hist +20 Herodotus →Implementation details: better subsection heading (distinguishable)
- 12:0312:03, 12 October 2018 diff hist +384 Herodotus →The core: herodotos tool: how to try (and status update)
9 October 2018
- 03:3903:39, 9 October 2018 diff hist +11 m Herodotus →in Sisyphus: more details about the task
- 03:3803:38, 9 October 2018 diff hist +1 m Herodotus →in Sisyphus: formatting