| Tue, 14 Jul 2009 16:27:32 +0200 | haftmann | prefer code_inline over code_unfold; use code_unfold_post where appropriate | file | diff | annotate |
| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Fri, 12 Oct 2007 10:26:18 +0200 | haftmann | added | file | diff | annotate |