| Thu, 09 Sep 2021 12:33:14 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 26 Aug 2021 14:45:19 +0200 | wenzelm | more scalable data structure (but: rarely used with > 5 arguments); | file | diff | annotate |
| Fri, 09 Aug 2019 17:14:49 +0200 | wenzelm | formal position for PThm nodes; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 02 Jul 2017 20:13:38 +0200 | haftmann | proper concept of code declaration wrt. atomicity and Isar declarations | file | diff | annotate |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 06 Jun 2016 21:28:46 +0200 | haftmann | explicit tagging of code equations de-baroquifies interface | file | diff | annotate |