| Sun, 18 May 2008 15:04:41 +0200 | wenzelm | Syntax.string_of_typ: proper context; | changeset | files |
| Sun, 18 May 2008 15:04:37 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | changeset | files |
| Sun, 18 May 2008 15:04:33 +0200 | wenzelm | removed norm_absolute (not thread safe; chdir does not guarantee normalization anyway); | changeset | files |
| Sun, 18 May 2008 15:04:31 +0200 | wenzelm | renamed type decompT to decomp; | changeset | files |
| Sun, 18 May 2008 15:04:27 +0200 | wenzelm | Syntax.string_of_term with proper context; | changeset | files |
| Sun, 18 May 2008 15:04:24 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | changeset | files |
| Sun, 18 May 2008 15:04:22 +0200 | wenzelm | renamed type decompT to decomp; | changeset | files |