Fri, 23 Apr 1999 16:33:03 +0200 | wenzelm | added FINISHED, same_tac; | changeset | files |
Fri, 23 Apr 1999 16:31:12 +0200 | wenzelm | use /usr/share and /usr/bin; | changeset | files |
Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | changeset | files |