| Thu, 18 Aug 2005 11:17:44 +0200 | wenzelm | added add_locale_context(_i), which returns the body context for presentation; | changeset | files |
| Thu, 18 Aug 2005 11:17:43 +0200 | wenzelm | moved translation functions to Pure/sign.ML; | changeset | files |
| Thu, 18 Aug 2005 11:17:42 +0200 | wenzelm | various Toplevel.theory_context commands: proper presentation in context; | changeset | files |
| Thu, 18 Aug 2005 11:17:41 +0200 | wenzelm | use theory instead of obsolete Sign.sg; | changeset | files |