Documentation of Coq.io libraries

• evaluate:
• 1.0.0
• exception:
• 1.0.0
• 1.1.0
• io:
• 2.0.0
• 2.1.0
• 3.0.0
• 3.1.0
• 3.2.0
• 3.3.0
• 4.0.0
• list:
• 1.0.0
• 1.1.0
• system:
• 2.0.0
• 2.1.0
• 2.2.0
• 2.3.0
• 2.4.0
• 2.4.1