Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2000 / 10 / swap / test / delegate
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. | |
| 1.1 | 2 years | timbl | Revive --why proof generation and check.py. Recode unification a bit | |
| 1.1 | 2 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |