| Sat, 02 May 2020 16:34:42 +0200 | Solve_Check: postpone parsing input to _ option | file | diff | annotate |
| Mon, 27 Apr 2020 16:40:11 +0200 | tuned | file | diff | annotate |
| Mon, 27 Apr 2020 16:37:56 +0200 | clarify types of Subst | file | diff | annotate |
| Mon, 27 Apr 2020 12:36:21 +0200 | separate struct.Subst, rename idenfitiers | file | diff | annotate |