| Thu, 12 Oct 2017 05:37:58 +0200 | nipkow | relaxed assm | changeset | files |
| Wed, 11 Oct 2017 21:41:11 +0200 | wenzelm | back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50); | changeset | files |
| Wed, 11 Oct 2017 21:36:53 +0200 | wenzelm | reactivated unfinished tool (cf. a3a847c4fbdb); | changeset | files |
| 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 |
| Mon, 09 Oct 2017 19:10:52 +0200 | haftmann | canonical multiplicative euclidean size | changeset | files |
| Mon, 09 Oct 2017 19:10:51 +0200 | haftmann | clarified parity | changeset | files |
| Mon, 09 Oct 2017 19:10:49 +0200 | haftmann | clarified uniqueness criterion for euclidean rings | changeset | files |
| Mon, 09 Oct 2017 19:10:48 +0200 | haftmann | tuned proofs | changeset | files |
| Mon, 09 Oct 2017 19:10:47 +0200 | haftmann | tuned imports | changeset | files |
| Tue, 10 Oct 2017 22:18:58 +0100 | paulson | fixed markup | changeset | files |
| Tue, 10 Oct 2017 20:33:29 +0200 | wenzelm | ignore isolated nodes by default; | changeset | files |
| Tue, 10 Oct 2017 19:51:54 +0200 | wenzelm | merged | changeset | files |