Thu, 01 Nov 2018 11:26:38 +0100 | nipkow | added and renamed functions | changeset | files |
Thu, 01 Nov 2018 09:25:58 +0100 | blanchet | added an example | changeset | files |
Wed, 31 Oct 2018 15:53:32 +0100 | wenzelm | clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc); | changeset | files |