| 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 |