diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:15:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:15:38 +0000 |
| commit | def9b9bc44bedc841599eea74a98910ffde4b8f7 (patch) | |
| tree | 831c7ed494965d488d7bf966d81c08f302876e27 /coq | |
| parent | d1334c20e1907a845117a45b3bab13a70cc57eae (diff) | |
Removed tags stuff
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions