| Sun, 18 May 2008 16:19:48 +0200 | urbanc | proper handling of the return code for the ps-format (fixes a bug) | changeset | files |
| Sun, 18 May 2008 15:28:21 +0200 | wenzelm | oops -- pr_graph = Syntax.string_of_term; | changeset | files |
| Sun, 18 May 2008 15:04:48 +0200 | wenzelm | command 'normal_form': proper context via Variable.auto_fixes; | changeset | files |
| Sun, 18 May 2008 15:04:46 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | changeset | files |
| Sun, 18 May 2008 15:04:45 +0200 | wenzelm | Syntax.string_of_sort: proper context; | changeset | files |
| Sun, 18 May 2008 15:04:43 +0200 | wenzelm | pprint: proper global context via Syntax.init_pretty_global; | changeset | files |
| Sun, 18 May 2008 15:04:41 +0200 | wenzelm | Syntax.string_of_typ: proper context; | changeset | files |