| Sat, 07 Jul 2007 18:39:15 +0200 | wenzelm | removed obsolete disable_pr/enable_pr; | changeset | files |
| Sat, 07 Jul 2007 18:39:14 +0200 | wenzelm | pretty_goals_aux: subgoal markup; | changeset | files |
| Sat, 07 Jul 2007 18:39:12 +0200 | wenzelm | pr_goals: adapted Display.pretty_goals_aux; | changeset | files |