J.-B. Bohuon renamed doc.md to intro.md  about 9 years ago

Commit id: e7647b0b3f8b4bb81a04ec575b28b84641c67f5b

deletions | additions      

         

# Introduction