| Fri, 24 Jul 2009 12:32:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 24 Jul 2009 12:00:02 +0200 | wenzelm | renamed Pure/tctical.ML to Pure/tactical.ML; | changeset | files |
| Fri, 24 Jul 2009 11:55:34 +0200 | wenzelm | eliminated print_goals_without_context -- proper pretty printing; | changeset | files |
| Fri, 24 Jul 2009 11:50:35 +0200 | wenzelm | Display_Goal.pretty_goals: always Markup.subgoal, clarified options; | changeset | files |