| Sat, 11 Jun 2005 22:15:58 +0200 | wenzelm | * Pure/sign/theory: discontinued named name spaces; | changeset | files |
| Sat, 11 Jun 2005 22:15:57 +0200 | wenzelm | renamed hide_space to hide_names; | changeset | files |
| Sat, 11 Jun 2005 22:15:56 +0200 | wenzelm | renamed IsarThy.hide_space to IsarThy.hide_names; | changeset | files |
| Sat, 11 Jun 2005 22:15:55 +0200 | wenzelm | name space of classes and types maintained in tsig; | changeset | files |
| Sat, 11 Jun 2005 22:15:54 +0200 | wenzelm | renamed hide_classes/types/consts to hide_XXX_i; | changeset | files |
| Sat, 11 Jun 2005 22:15:53 +0200 | wenzelm | discontinued named name spaces (classK, typeK, constK); | changeset | files |
| Sat, 11 Jun 2005 22:15:52 +0200 | wenzelm | accomodate changed #classes; | changeset | files |