Mon, 29 Sep 1997 15:11:27 +0200 | wenzelm | obsolete; | changeset | files |
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 |