From 829238f2fe74c782023989e1871e15411b3e4ada Mon Sep 17 00:00:00 2001 From: Matěj Grabovský Date: Fri, 27 Mar 2015 16:08:29 +0100 Subject: Fix various typos in documentation Closes #57. --- doc/refman/RefMan-modr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/refman/RefMan-modr.tex') diff --git a/doc/refman/RefMan-modr.tex b/doc/refman/RefMan-modr.tex index 9ab8aded9..2019a529f 100644 --- a/doc/refman/RefMan-modr.tex +++ b/doc/refman/RefMan-modr.tex @@ -2,7 +2,7 @@ The module system extends the Calculus of Inductive Constructions providing a convenient way to structure large developments as well as -a mean of massive abstraction. +a means of massive abstraction. %It is described in details in Judicael's thesis and Jacek's thesis \section{Modules and module types} -- cgit v1.2.3