| Fri, 23 Apr 1999 17:01:36 +0200 | wenzelm | tuned antiquotations; | changeset | files |
| Fri, 23 Apr 1999 16:38:22 +0200 | wenzelm | improved 'single' method; | changeset | files |
| Fri, 23 Apr 1999 16:33:23 +0200 | wenzelm | added thus, hence; | changeset | files |
| 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 |
| Fri, 23 Apr 1999 12:22:30 +0200 | paulson | Now for recdefs that omit the WF relation | changeset | files |
| Fri, 23 Apr 1999 12:20:22 +0200 | paulson | Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml | changeset | files |