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

Revision History

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

19 9 Older
# Date Size Editor Comment Action
19 2023-11-22 09:03:02 6033 to previous GabiRoeger   view
18 2023-11-21 17:36:14 6034 to previous FlorianPommerening remove old special case view
17 2023-11-21 17:34:19 6113 to previous FlorianPommerening Document string parameters view
16 2023-01-31 17:57:18 5910 to previous FlorianPommerening Document new let syntax view
15 2023-01-31 15:35:23 5660 to previous FlorianPommerening Removed deprecated option syntax to specify enums as integers. view
14 2019-01-08 14:11:33 5799 to previous MalteHelmert fix typo view
13 2019-01-08 14:02:40 5799 to previous JendrikSeipp Document int suffixes view
12 2018-09-14 11:40:40 5588 to previous CedricGeissmann Replaced --heuristic with --evaluator view
11 2018-09-13 13:32:07 5588 to previous MalteHelmert change heuristic to evaluator in a few places view
10 2018-09-13 13:24:52 5599 to previous JendrikSeipp   view
19 9 Older