Thu, 22 Oct 1998 20:13:21 +0200 | wenzelm | current_goals_markers; | changeset | files |
Thu, 22 Oct 1998 20:11:19 +0200 | wenzelm | some additions for Proof General by David Aspinall; | changeset | files |
Thu, 22 Oct 1998 20:07:42 +0200 | wenzelm | support current_goals_markers ref variable for print_current_goals; | changeset | files |