| Mon, 16 Oct 2017 08:00:28 +0200 | nipkow | added [simp] | changeset | files |
| Sun, 15 Oct 2017 21:30:21 +0200 | wenzelm | proper value; | changeset | files |
| Sun, 15 Oct 2017 20:34:24 +0200 | wenzelm | more AFP tests; | changeset | files |
| Sun, 15 Oct 2017 20:31:52 +0200 | wenzelm | added ml_statistics_step to trim stored properties; | changeset | files |
| Sun, 15 Oct 2017 18:39:20 +0200 | wenzelm | proper argument; | changeset | files |
| Sat, 14 Oct 2017 22:05:22 +0200 | wenzelm | tuned (graph.all_succs already contains origin); | changeset | files |
| Sat, 14 Oct 2017 21:50:12 +0200 | wenzelm | support for AFP versions; | changeset | files |
| Sat, 14 Oct 2017 20:58:52 +0200 | wenzelm | clarified afp_pull_date: both repository versions are relevant; | changeset | files |