diff options
author | Siddharth Bhat <siddu.druid@gmail.com> | 2018-06-27 23:29:00 +0200 |
---|---|---|
committer | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-02 18:30:13 +0200 |
commit | 5dfa8c9d9e3f1a5391825338498e0aaac28b4e28 (patch) | |
tree | 4ed8704d5389786d44122e36ee221fb669cf16e9 /META.coq | |
parent | 02fe76c0c1c3f01c6fb4310dd4450b35f43005da (diff) |
Clean up documentation around beginner's guide.
- move `README` to `README.md` to take advantage of markdown features
- remove `setup.txt`, port the editor specific information to the wiki.
Merge development information into `dev/doc/README.md`.
Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup.
- Add new links to files into `dev/README.md`.
- Remove stale `translate.txt`.
Diffstat (limited to 'META.coq')
0 files changed, 0 insertions, 0 deletions