Fri, 29 Jan 1999 16:26:12 +0100 |
paulson |
expandshort
|
file |
diff |
annotate
|
Wed, 21 Oct 1998 16:34:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 21 Oct 1998 16:06:09 +0200 |
wenzelm |
no open;
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
Wed, 05 Nov 1997 13:23:46 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:24:13 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Fri, 02 Aug 1996 12:25:26 +0200 |
berghofe |
Classical tactics now use default claset.
|
file |
diff |
annotate
|
Tue, 30 Jan 1996 15:24:36 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Mon, 15 Jan 1996 15:49:21 +0100 |
wenzelm |
added this stuff;
|
file |
diff |
annotate
|