5 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	118570c783	Fix typos	2019-01-16 16:04:56 +00:00
Joris van der Hoeven	6995361fc1	Better formulation	2015-12-10 12:34:29 +00:00
Miguel de Benito	9b2d65b9ec	Typos (minor)	2013-01-01 13:58:23 +00:00
Miguel de Benito	ed6ef2a480	Typos	2012-09-19 15:06:26 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00