| Thu, 07 Dec 2017 20:55:03 +0100 | wenzelm | more robust; | changeset | files |
| Thu, 07 Dec 2017 20:05:08 +0100 | wenzelm | merged | changeset | files |
| Thu, 07 Dec 2017 19:36:48 +0100 | wenzelm | clarified document preparation vs. skip_proofs; | changeset | files |
| Thu, 07 Dec 2017 18:04:52 +0100 | nipkow | "important" annotations | changeset | files |
| Thu, 07 Dec 2017 15:48:50 +0100 | nipkow | canonical name | changeset | files |
| Thu, 07 Dec 2017 11:14:32 +0100 | wenzelm | tuned output in isar-ref manual; | changeset | files |
| Thu, 07 Dec 2017 11:12:55 +0100 | wenzelm | obsolete (used to be part of old src/Pure/codegen.ML); | changeset | files |