| Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | append (rather than prepend) code equations: the order within a theory is maintained in the resulting code | file | diff | annotate |
| Thu, 28 Mar 2019 21:24:55 +0100 | wenzelm | "export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports; | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Mon, 11 Jul 2016 11:15:10 +0200 | wenzelm | clarified keywords; | file | diff | annotate |
| Fri, 01 Jan 2016 10:49:00 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Fri, 09 Jan 2015 08:36:59 +0100 | haftmann | modernized and more uniform style | file | diff | annotate |