Wed, 11 Oct 2017 20:57:12 +0200 | wenzelm | tuned whitespace; | changeset | files |
Wed, 11 Oct 2017 20:55:11 +0200 | wenzelm | clarified meta_digest; | changeset | files |
Wed, 11 Oct 2017 20:46:38 +0200 | wenzelm | tuned; | changeset | files |
Wed, 11 Oct 2017 20:16:00 +0200 | wenzelm | added isablle build option -f; | changeset | files |