| Thu, 04 Jul 2019 11:26:00 +0200 | wenzelm | clarified history stage: allow independent updates that are merged later; | changeset | files |
| Mon, 24 Jun 2019 16:26:25 +0200 | wenzelm | support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML); | changeset | files |
| Sun, 23 Jun 2019 13:42:16 +0000 | haftmann | proper quasi-total merge | changeset | files |