coq/plugins/extraction/README, branch master The formal proof system Switch the few remaining iso-latin-1 files to utf8 2014-12-09T13:27:21+00:00 Pierre Letouzey 2014-12-09T11:48:32+00:00 af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf 






Grammar: "allowing to" is not proper English
2014-08-25T13:22:40+00:00

Jason Gross

2014-08-12T12:51:59+00:00

bc6e87572b33eb5d98cbb23522a71fd7d23931b7

I'm not quite sure why, but I'm pretty sure it's not.  Rather, in
"allowing for foo" and "allowing to foo", "foo" modifies the sense in
which someting is allowed, rather than it being "foo" that's allowed.
"Allowing fooing" generally works, though it can sound a bit awkward.
"Allowing one to foo" (or "Allowing {him,her,it,Coq} to foo") is always
acceptable, in-as-much as it's ok to use "one".

I haven't touched the older instances of it in the CHANGES file.





I'm not quite sure why, but I'm pretty sure it's not.  Rather, in
"allowing for foo" and "allowing to foo", "foo" modifies the sense in
which someting is allowed, rather than it being "foo" that's allowed.
"Allowing fooing" generally works, though it can sound a bit awkward.
"Allowing one to foo" (or "Allowing {him,her,it,Coq} to foo") is always
acceptable, in-as-much as it's ok to use "one".

I haven't touched the older instances of it in the CHANGES file.







Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs
2009-03-20T01:22:58+00:00

letouzey

2009-03-20T01:22:58+00:00

7d220f8b61649646692983872626d6a8042446a9

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7