Sun, 30 Dec 2018 10:30:41 +0100 | Andreas Lochbihler | separate case converter into a separate theory | file | diff | annotate |
Sat, 29 Dec 2018 09:28:30 +0000 | haftmann | explicit dependencies for includes | file | diff | annotate |
Thu, 08 Nov 2018 22:29:09 +0100 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
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); | file | diff | annotate |
Wed, 06 Jun 2018 11:41:54 +0200 | wenzelm | eliminated suspicious Unicode; | file | diff | annotate |
Sat, 12 May 2018 11:24:11 +0200 | Andreas Lochbihler | new tool Code_Lazy | file | diff | annotate |