| Thu, 26 Mar 2009 15:18:50 +0100 | wenzelm | pretty_thm_aux etc.: explicit show_status flag; | changeset | files |
| Thu, 26 Mar 2009 14:14:02 +0100 | wenzelm | simplified attribute and method setup: eliminating bottom-up styles makes it easier to keep things in one place, and also SML/NJ happy; | changeset | files |
| Wed, 25 Mar 2009 21:35:49 +0100 | wenzelm | @{binding} is not a constructor term and should not be inlined, otherwise we loose value polymorphism; | changeset | files |
| Wed, 25 Mar 2009 21:34:31 +0100 | wenzelm | tuned; | changeset | files |