diff options
| author | Théo Zimmermann | 2018-11-27 15:46:25 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 16:04:49 +0100 |
| commit | 3fb7f0111b060e69247ecc77b97b111da209f6c2 (patch) | |
| tree | 4c91af3319daf997ed43d6e0ca64bee582d9c7c2 /dev | |
| parent | 8b42c73a6a3b417e848952e7510e27d74e6e1758 (diff) | |
Remove forgotten link to removed document cic.dtd.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/README.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/README.md b/dev/README.md index d9fdd230d3..9761f7b96f 100644 --- a/dev/README.md +++ b/dev/README.md @@ -25,7 +25,6 @@ | [`dev/doc/universes.txt`](doc/universes.txt) | Help for debugging universes | | [`dev/doc/extensions.txt`](doc/extensions.txt) | Some help about TACTIC EXTEND | | [`dev/doc/perf-analysis`](doc/perf-analysis)| Analysis of perfs measured on the compilation of user contribs | -| [`dev/doc/cic.dtd`](doc/cic.dtd) | Official dtd of the calc. of ind. constr. for im/ex-portation | | [`dev/doc/econstr.md`](doc/econstr.md) | Describes `Econstr`, implementation of treatment of `evar` in the engine | | [`dev/doc/primproj.md`](doc/primproj.md) | Describes primitive projections | | [`dev/doc/proof-engine.md`](doc/proof-engine.md) | Tutorial on new proof engine | |