| Fri, 13 Oct 2017 21:53:22 +0200 | wenzelm | support for AFP versions; | changeset | files |
| Fri, 13 Oct 2017 21:20:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 13 Oct 2017 21:15:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 13 Oct 2017 21:09:35 +0200 | wenzelm | support for AFP versions; | changeset | files |
| Fri, 13 Oct 2017 13:31:56 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 13 Oct 2017 09:01:27 +0200 | nipkow | added lemmas, tuned spaces | changeset | files |
| Thu, 12 Oct 2017 21:22:02 +0200 | wenzelm | entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless; | changeset | files |
| Thu, 12 Oct 2017 15:58:18 +0200 | wenzelm | more informative Imports.Report with actual session imports (minimized); | changeset | files |
| Thu, 12 Oct 2017 11:39:54 +0200 | wenzelm | more robust: allow URLs; | changeset | files |
| Thu, 12 Oct 2017 11:39:06 +0200 | wenzelm | more robust: allow Windows file names; | changeset | files |
| Thu, 12 Oct 2017 11:25:06 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |
| Tue, 10 Oct 2017 19:48:29 +0200 | wenzelm | cycle check with informative error; | changeset | files |
| Tue, 10 Oct 2017 19:23:03 +0200 | wenzelm | tuned: each session has at most one defining entry; | changeset | files |
| Tue, 10 Oct 2017 13:46:12 +0200 | wenzelm | more operations; | changeset | files |
| Tue, 10 Oct 2017 11:24:35 +0200 | wenzelm | tuned signature; | changeset | files |