Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix some doc issues
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Jan 2022 09:52:35 +0000 (10:52 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 28 Jan 2022 08:25:02 +0000 (09:25 +0100)
commita3ff2d592d10a66e48ab08baad136bd993241f11
tree6161d6a2d3de6ac4cda7705c52256bac56770d07
parent7db779a9a40b4f03f605e974568c34e840ce3c6f
fix some doc issues
docs/source/Release_Notes.rst
docs/source/Tutorial_Algorithms.rst
docs/source/Tutorial_Model-checking.rst
docs/source/app_s4u.rst
examples/README.rst