| 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 |
| Fri, 24 Jul 2009 11:31:22 +0200 | wenzelm | removed Formal_Power_Series_Examples (cf. adea7a729c7a); | changeset | files |
| Fri, 24 Jul 2009 11:30:32 +0200 | wenzelm | make: keep going by default; | changeset | files |
| Thu, 23 Jul 2009 23:43:45 +0200 | chaieb | merged | changeset | files |
| Thu, 23 Jul 2009 23:15:45 +0200 | chaieb | merged | changeset | files |