| Mon, 22 Jul 2019 21:55:02 +0200 | wenzelm | tuned comments -- proper sections; | file | diff | annotate |
| Thu, 03 Jan 2019 14:12:44 +0100 | wenzelm | clarified signature: more types; | file | diff | annotate |
| Sun, 18 Feb 2018 15:05:21 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 04 Feb 2017 21:15:11 +0100 | wenzelm | more uniform use of Reconstruct.clean_proof_of; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 05 Aug 2016 20:45:58 +0200 | wenzelm | tuned -- maxidx unused; | file | diff | annotate |