| 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 |
| Thu, 22 Oct 1998 12:35:40 +0200 | wenzelm | eliminated 'let ... in structure ...' to make SML/NJ 0.93 happy; | changeset | files |
| Thu, 22 Oct 1998 12:32:42 +0200 | wenzelm | fixed index.html; | changeset | files |
| Thu, 22 Oct 1998 12:26:55 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 22 Oct 1998 11:09:43 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 22 Oct 1998 10:58:50 +0200 | paulson | standard Blast_tac demos | changeset | files |