| 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 |