Documentation is outdated

Deducteam / Logipedia

An encyclopedia of proofs

57 stars 11 forks source link

Documentation is outdated #31

Closed francoisthire closed 4 years ago

francoisthire commented 4 years ago

The files HACKING.md and README.md are outdated. Probably HACKING.md should be removed and README.md should reference the doc sooner.

gabrielhdt commented 4 years ago

Readme.md is not that outdated, is it?

francoisthire commented 4 years ago

Indeed, but I think it should be rewritten. Probably because there is now a doc folder, the top-level README should contain only (are almost) a link to that folder instead.

gabrielhdt commented 4 years ago

90365ee3e8d401adeea8b53134bd7c4d432733f9