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

Revision History

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

18 8 Older
# Date Size Editor Comment Action
18 2023-07-28 10:37:20 0 to previous MalteHelmert The page is no longer necessary. The remaining point is now discussed directly by the docs for the two affected heuristics. view
17 2023-07-28 09:48:15 845 to previous MalteHelmert search engine => search algorithm view
16 2023-02-16 12:56:29 839 to previous ClemensBuechner   view
15 2023-02-16 12:56:05 837 to previous ClemensBuechner   view
14 2018-09-20 23:43:46 738 to previous FlorianPommerening lm_cost_type was removed in issue776 view
13 2018-09-13 13:23:49 1687 to previous JendrikSeipp   view
12 2018-02-13 14:40:16 1687 to previous SilvanSievers Polish OptionCaveats view
11 2018-02-09 11:04:06 1517 to previous CedricGeissmann   view
10 2016-12-19 17:26:19 1915 to previous ManuelHeusner   view
9 2016-12-19 13:07:51 2082 to previous ManuelHeusner   view
18 8 Older