| 2009-09-29 | wenzelm | 2009-09-29 | explicit indication of Unsynchronized.ref; | file | diff | annotate |
| 2009-07-27 | wenzelm | 2009-07-27 | moved METAHYPS to old_goals.ML (cf. SUBPROOF and FOCUS in subgoal.ML for properly localized versions of the same idea); | file | diff | annotate |
| 2009-07-25 | wenzelm | 2009-07-25 | renamed structure Display_Goal to Goal_Display; | file | diff | annotate |
| 2009-07-24 | wenzelm | 2009-07-24 | renamed Pure/tctical.ML to Pure/tactical.ML; | file | diff | annotate | base |