diff options
| author | David Aspinall | 1999-11-19 16:09:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-19 16:09:54 +0000 |
| commit | 1e671cfbe1cebd482338ae0d7d6bbc12f19b0e04 (patch) | |
| tree | 313ec496beb1a6c9339270164f34b516c53b39c5 /etc/isa/multiple/C.ML | |
| parent | c39c73e093ee6eecc959163a801eddfdd4574af8 (diff) | |
Fix proof-try-require for FSF Emacs.
Diffstat (limited to 'etc/isa/multiple/C.ML')
0 files changed, 0 insertions, 0 deletions