Mon, 29 Sep 1997 15:08:47 +0200 | wenzelm | margin 76 (2nd try :-); | changeset | files |
Mon, 29 Sep 1997 14:12:02 +0200 | wenzelm | fixed href to html library; | changeset | files |
Mon, 29 Sep 1997 14:11:18 +0200 | wenzelm | improved warning; | changeset | files |
Mon, 29 Sep 1997 14:10:52 +0200 | wenzelm | default margin 76 (to accomodate warning and error default output); | changeset | files |
Mon, 29 Sep 1997 12:13:43 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |
Mon, 29 Sep 1997 11:56:04 +0200 | paulson | Much tidying including step_tac -> clarify_tac or safe_tac; sometimes | changeset | files |
Mon, 29 Sep 1997 11:52:25 +0200 | paulson | Step_tac -> Safe_tac | changeset | files |