| Fri, 07 Sep 2018 19:49:26 +0200 | wenzelm | proper tast_context (amending 5f44ad150ed8); | changeset | files |
| Fri, 07 Sep 2018 19:27:28 +0200 | wenzelm | clarified error progress and error_rc; | changeset | files |
| Fri, 07 Sep 2018 19:18:41 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 07 Sep 2018 19:11:34 +0200 | wenzelm | clarified rc; | changeset | files |
| Fri, 07 Sep 2018 19:11:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 07 Sep 2018 17:08:47 +0200 | wenzelm | dump aspects asynchronously; | changeset | files |
| Fri, 07 Sep 2018 17:05:02 +0200 | wenzelm | record status of already committed nodes; | changeset | files |
| Fri, 07 Sep 2018 17:03:58 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 07 Sep 2018 14:07:34 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 07 Sep 2018 13:58:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 07 Sep 2018 13:27:41 +0200 | nipkow | added Let_def | changeset | files |
| Thu, 06 Sep 2018 16:50:16 +0200 | nipkow | merged | changeset | files |
| Thu, 06 Sep 2018 16:50:00 +0200 | nipkow | added int and real | changeset | files |
| Thu, 06 Sep 2018 14:08:35 +0200 | wenzelm | simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments; | changeset | files |